42 results in Cambridge Tracts in Theoretical Computer Science
Logic and Computation
- Interactive Proof with Cambridge LCF
-
- Published online:
- 17 September 2009
- Print publication:
- 15 October 1987
Algorithmic Information Theory
-
- Published online:
- 23 November 2009
- Print publication:
- 15 October 1987