Items where Department is "Computer Science"

A

Ashcroft, Edward A. and Wadge, William W. (1982) R for semantics. ACM Transactions on Programming Languages and Systems, Volume 4 (Number 2). pp. 283-294. doi:10.1145/357162.357170 ISSN 0164-0925.

B

Beynon, Meurig (1982) Coset enumeration as closure computation. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Beynon, Meurig and Spaltenstein, N. (1982) The computation of green functions of finite chevalley groups of type En (n=6,7,8). Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

F

Faustini, Antony Azio (1982) The equivalence of an operational and a denotational semantics for pure dataflow. PhD thesis, University of Warwick.

G

Golshani, Forouzan (1982) Varqa : A functional query language based on an algebraic approach and conventional mathematical notation. PhD thesis, University of Warwick.

I

Iliopoulos, C. S. (Costas S.) (1982) Composition and characters of binary quadratic forms. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Iliopoulos, C. S. (Costas S.) (1982) On the computation of the structure of an Abelian group represented by a set of defining relations. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

W

Wadge, William W. (1982) Classified algebras. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Wadge, William W. (1982) Introduction to the Baire space. University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Wilson, Roland (1982) The acceptance of information, its subjective cost and the measurement of distortion. IEEE Transactions on Information Theory, Volume 28 (Number 6). pp. 967-971. doi:10.1109/TIT.1982.1056576 ISSN 0018-9448.