公開日 Interpreting Second-order Logic in the Monadic Theory of Order Yuri Gurevich, Saharon Shelah July 1983, Vol 48
公開日 Organizing software in a distributed environment Butler Lampson, Eric Schmidt 1983 ACM SIGPLAN Symposium on Programming Language Issues in Software Systems | June 1983 Proc., ACM Sigplan Notices 18, 6 (Jun. 1983), pp 1-13
公開日 Random Models and the Goedel Case of the Decision Problem Yuri Gurevich, Saharon Shelah Journal of Symbolic Logic | April 1983, pp. 1120-1124
公開日 Homogeneous Optimal Fleet I. Gertsbakh, Yuri Gurevich Transportation Research | October 1982, 巻16B: pp. 459-470
公開日 An investigation of the relative efficiencies of lambda expressions and combinators Simon Peyton Jones Proc ACM symposium on Lisp and functional programming | August 1982
公開日 The Inference Problem for Template Dependencies Yuri Gurevich, H. R. Lewis Information and Control | August 1982, 巻55: pp. 69-79
公開日 Automata, Trees, and Games Yuri Gurevich, Leo Harrington 14th Annual Symposium on Theory of Computing, ACM | August 1982
公開日 E. M. Can message buffers be characterized in linear temporal logic? N. Clarke, Y. Francez, Yuri Gurevich, P. Sistla Symposium on Principles of Distributed Computing, ACM | July 1982, pp. 148-156
公開日 On the Unique Satisfiability Problem Andreas Blass, Yuri Gurevich Information and Control | July 1982, 巻55: pp. 80-88