Publications index

Berthold K. P. Horn, Katsushi Ikeuchi

Scientific American | July 1984, Vol 251(2): pp. 100-111

Leslie Lamport

July 1984

Rejected from the 1985 POPL Conference

Leslie Lamport, Fred B. Schneider

Proceedings of the Twelfth ACM Symposium on Principles of Programming Languages, ACM SIGACT-SIGPLAN | July 1984

Yuri Gurevich

"Computation and Proof Theory" (Ed. M. Richter et al.) Springer Lecture Notes in Math | July 1984, Vol 1104: pp. 175-216

Yuri Gurevich, Saharon Shelah

July 1984

Yuri Gurevich, H. R. Lewis

Journal of Symbolic Logic | July 1984, Vol 49: pp. 184-191

Henrique S. Malvar, Henrique S. Malvar

IEEE Transactions on Circuits and Systems | July 1984

Andreas Blass, Yuri Gurevich

Springer Lecture Notes in Computer Science | April 1984, Vol 171: pp. 24-42

Leslie Lamport

ACM Transactions on Programming Languages and Systems | April 1984, pp. 281-296

Leslie Lamport

ACM Transactions on Programming Languages and Systems | April 1984, pp. 254-280