The Library
Browse by Funded research at the University of Warwick
Up a level |
Jump to: Journal Article | Report
Number of items: 12.
Journal Article
Ball, Robin and Ortuño, Miguel (1982) Dielectric response at surfaces for semiconductors and insulators. Surface Science, Vol.122 (No.1). pp. 161-174. doi:10.1016/0039-6028(82)90065-6 ISSN 0039-6028.
Report
Ashcroft, Edward A. and Wadge, William W. (1980) Structured Lucid. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)
Ashcroft, Edward A. and Wadge, William W. (1979) Some common misconceptions about Lucid. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)
Kanda, Akira and Park, David (1979) When are two effectively given domains identical? University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)
Munro, J. Ian and Paterson, Michael S. (1978) Selection and sorting with limited storage. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)
Shamir, Adi and Wadge, William W. (1977) Data types as objects. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)
Lehmann, Daniel and Smyth, M. B. (1977) Data types. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)
McColl, William Finlay (1977) Some results on circuit depth. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)
Lehmann, Daniel (1976) Categories for fixpoint semantics. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)
Ashcroft, Edward A. and Wadge, William W. (1976) Lucid, a nonprocedural language with iteration. 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)
Wadge, William W. (1975) A complete natural deduction system for the relational calculus. Coventry, UK: University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)