| |
|
| |
|
| |
|
| |
In SCT '95: Proceedings of the 10th Annual Structure in Complexity Theory Conference (SCT'95) (1995)
|
| |
Foundational Trends in Theoretical Computer Science, Vol. 2, No. 1. (October 2006), pp. 1-106.
|
| |
|
| |
Behavioral and Brain Sciences, Vol. 13, No. 3. (1990), pp. 423-469.
|
| |
|
| |
Journal of Computer and System Sciences, Vol. 4 (1970), pp. 177-192.
|
| |
Minds and Machines, Vol. 11, No. 3. (2001), pp. 379-397.
|
| |
Journal of Philosophical Logic, Vol. 17, No. 4. (1 November 1988), pp. 355-389.
|
| |
Journal of Logic, Language and Information, Vol. 13, No. 2. (1 March 2004), pp. 207-223.
|
| |
In STOC '82: Proceedings of the fourteenth annual ACM symposium on Theory of Computing (1982), pp. 147-152.
|
| |
Information and Computation, Vol. 129, No. 1. (25 August 1996), pp. 1-19.
|
| |
In ESSLLI: European Summer School in Logic, Language, and Information, ESSLLI Workshop, Vol. 1754 (1997)
|
| |
In STOC '82: Proceedings of the fourteenth annual ACM symposium on Theory of computing (1982), pp. 137-146.
|
| |
Annals of Pure and Applied Logic (March 1999), pp. 231-260.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
Journal of Logic, Language and Information, Vol. 17, No. 2. (April 2008), pp. 131-140.
|
| |
In Proceedings of the Sixteenth Amsterdam Colloquium (2007), pp. 211-216.
|
| |
The Bulletin of Symbolic Logic, Vol. 17 (2007), pp. 273-273.
|
| |
The Bulletin of Symbolic Logic, Vol. 13 (2007), pp. 281-282.
|
| |
Semiotica, Vol. to appear, No. see also ILLC Preprint Series, PP-2006-40. (2005)
|
