From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

The situation in logic.. CSLI lecture notes series CSLI, (1989)An Architecture for Heterogeneous Reasoning (Invited Talk).. TARK, стр. 1-14. Morgan Kaufmann, (1998)Interpolation, Preservation, and Pebble Games., и . J. Symb. Log., 64 (2): 881-903 (1999)The Kleene Symposium and the Summer Meeting of the Association for Symbolic Logic., , , , и . J. Symb. Log., 44 (3): 469-480 (1979)Mathematical Proofs of Computer System Correctness. Notices of the American Mathematical Society, 36 (7): 844-851 (1989)Information Links in Domain Theory.. MFPS, том 598 из Lecture Notes in Computer Science, стр. 168-192. Springer, (1991)Heterogeneous Reasoning.. ICCS, том 699 из Lecture Notes in Computer Science, стр. 64-74. Springer, (1993)Shifting Situations and Shaken Attitudes, и . (1981)Linguistics and Philosophy, vol. 8: 105-161.Meeting of the Association for Symbolic Logic: Reno, 1976., , и . J. Symb. Log., 42 (1): 156-160 (1977)Meeting of the Association for Symbolic Logic: Stanford, California, 1985., , и . J. Symb. Log., 51 (3): 832-862 (1986)