Search Microsoft Research

Yuri Gurevich

April 1969, pp. Pages 284–308 of the Russian original Pages - 160–174 of the English translation

Yuri Gurevich

Algebra and Logic (Russian) | May 1967, pp. 45-62

Charles E. Osgood, George J. Suci, Percy H. Tannenbaum

Published by University of Illinois Press | January 1967

Butler Lampson, W.W. Lichtenberger, M.W. Pirtle

Proceedings of the IEEE | December 1966, Vol 54(12): pp. 1766-1774

Reprinted in Computer Structures, ed. Bell and Newell, McGraw-Hill, 1971, pp 291-300.

Leslie Lamport

October 1966

October 1966

Massachusetts Institute of Technology, Project MAC Memorandum MAC-M-332, Artificial Intelligence Project Memo Number Vision 111

Yuri Gurevich

Algebra and Logic (Russian) | July 1966, pp. 25-35

Yuri Gurevich

AMS Translations | October 1965, Vol 46: pp. 165-192

Yuri Gurevich

Algebra and Logic | April 1963, pp. 37-39

Leslie Lamport, Jackson Wright, Neal Plotkin, Robert Teitel, Martin Wenglinsky

November 1957