Publication Decision Problem for Separated Distributive Lattices Yuri Gurevich Journal of Symbolic Logic | July 1983, Vol 48: pp. 193-196
Publication The Monadic Theory of w2 Yuri Gurevich, Menachem Magidor, Saharon Shelah Journal of Symbolic Logic | July 1983, Vol 48: pp. 387-398
Publication Rabin’s Uniformization Problem Yuri Gurevich, Saharon Shelah Journal of Symbolic Logic | July 1983, Vol 48: pp. 1102-1119
Publication Interpreting Second-order Logic in the Monadic Theory of Order Yuri Gurevich, Saharon Shelah July 1983, Vol 48
Publication 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
Publication Random Models and the Goedel Case of the Decision Problem Yuri Gurevich, Saharon Shelah Journal of Symbolic Logic | April 1983, pp. 1120-1124
Publication Homogeneous Optimal Fleet I. Gertsbakh, Yuri Gurevich Transportation Research | October 1982, Vol 16B: pp. 459-470
Publication An investigation of the relative efficiencies of lambda expressions and combinators Simon Peyton Jones Proc ACM symposium on Lisp and functional programming | August 1982
Publication Automata, Trees, and Games Yuri Gurevich, Leo Harrington 14th Annual Symposium on Theory of Computing, ACM | August 1982
Publication The Inference Problem for Template Dependencies Yuri Gurevich, H. R. Lewis Information and Control | August 1982, Vol 55: pp. 69-79
