Report

McColl, William Finlay and Paterson, Michael S. (1975) The depth of all Boolean functions. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

Schönhage, Arnold, Paterson, Michael S. and Pippenger, Nicholas (1975) Finding the median. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

Smyth, M. B. (Michael B.) (1975) Effectively giving domains. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

Valiant, Leslie and Paterson, Michael S. (1975) Circuit size is nonlinear in depth. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

Wadge, William W. (1975) A complete natural deduction system for the relational calculus. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)