| |
|
| |
|
| |
Electronische Informationverarbeitung und Kybernetiek, Vol. 15 (1979), pp. 487-496.
|
| |
|
| |
In 7th TbiLLC 2007, Vol. 5422 (2009), pp. 193-205.
|
| |
In Proc. AII/ALT, Vol. 872 (1994), pp. 100-105.
|
| |
In Proc. COLT (1994), pp. 190-197.
|
| |
In Perspectives of System Informatics, Proc. 2nd Andrei Ershov Memorial Conference, Vol. 1181 (1996), pp. 122-133.
|
| |
|
| |
Information and Control, Vol. 45(2) (1980), pp. 117-135.
|
| |
The Journal of Symbolic Logic, Vol. 50, No. 2. (1985), pp. 510-530.
|
| |
In Proc. TARK'07 (2007), pp. 72-81.
|
| |
In Proc. 7th ESSLLI Student Session (2002)
|
| |
In Handbook of Logic and Language (1997), pp. 737-775.
|
| |
|
| |
|
| |
|
| |
Neuropsychologia, Vol. To appear (2006)
|
| |
|
| |
|
| |
Praca magisterska w Instytucie Filozofii UW (2005)
|
| |
In Proc. 7th Int. Workshop on Algorithmic Learning Theory, Vol. 1160 (1996), pp. 228-241.
|
| |
|
| |
Cognitive Science, Vol. 26, No. 1. ( 2002), pp. 113-146.
|
| |
Information and Computation, Vol. 176(1), No. 1. (2002), pp. 37-50.
|
| |
In Proc. TARK'98 (1998), pp. 43-56.
|
| |
Synthese, Vol. 139, No. 2. (10 March 2004), pp. 165-224.
|
| |
Mathematical Foundations of Computer Science (1975), pp. 77-87.
|
| |
J. ACM, Vol. 12, No. 1. (January 1965), pp. 23-41.
|
| |
Topoi, Vol. 13, No. 2. (1994), pp. 101-115.
|
| |
Erkenntnis, Vol. 62, No. 1. (January 2005), pp. 47-69.
|
| |
Analysis, Vol. 64, No. 282. (2004), pp. 95-105.
|
| |
Artificial Intelligence, Vol. 97, No. 1-2. (1997), pp. 273-324.
|
| |
Machine Learning, Vol. 39, No. 2/3. (2000), pp. 103-134.
|
| |
Journal of Artificial Intelligence Research, Vol. 13 (2000), pp. 227-303.
|
| |
Studia Logica, Vol. 75 (2003), pp. 183-203.
|
| |
|
| |
Journal of Philosophical Logic, Vol. 31 (2002), pp. 327-358.
|
| |
Journal of Logic, Language, and Information, Vol. 6 (1997), pp. 275-304.
|
| |
In STOC '84: Proceedings of the sixteenth annual ACM symposium on Theory of computing (1984), pp. 436-445.
|
| |
Journal of Language and Computation, Vol. 1 (1999), pp. 93-102.
|
| |
Dialectica, Vol. 30 (1976), pp. 67-88.
|
| |
|
| |
Linguistics and Philosophy, Vol. 13 (1990), pp. 393-442.
|
| |
|
| |
Journal of Symbolic Logic, Vol. 47 (1982), pp. 423-435.
|
| |
Journal of Computer and System Sciences, Vol. 62 (2001), pp. 290-322.
|
| |
In Ambiguities in Intensional Contexts (1980), pp. 1-45.
|
| |
In Proceedings of the London Mathematical Society, Vol. 30 (1929), pp. 338-384.
|
| |
In Handbook for mathematical logic (1977), pp. 1133-1142.
|