Teja Tejasri: Publications - PhilPeople

11

Proceedings of the 1986 Conference on Theoretical Aspects of Reasoning about Knowledge: March 19-22, 1988, Monterey, California (review)
with Joseph Y. Halpern, International Business Machines Corporation, American Association of Artificial Intelligence, and United States

. 1986.

Areas of Mathematics
Proceedings Symposium on Logic in Computer Science, Ithaca, New York, June 22-25, 1987 ; Sponsored by the Computer Society of the Ieee Technical Committee on Mathematical Foundations of Computing in Cooperation with Acm Sigact, Association for Symbolic Logic, European Association for Theoretical Computer Science (review)
with Association for Symbolic Logic, European Association for Theoretical Computer Science, Ieee Computer Society, and Special Interest Group for Automata and Computability Theory

. 1987.

Areas of Mathematics