论文与出版物 Decision Problem for Separated Distributive Lattices Yuri Gurevich Journal of Symbolic Logic | July 1983, 第 48 卷: pp. 193-196
论文与出版物 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