Publication Designing a Global Name Service Butler Lampson 4th ACM Symposium on Principles of Distributed Computing | August 1986
Publication Definability by Constant-depth Polynomial-size Circuits L. Denenberg, Yuri Gurevich, S. Shelah Information and Control | April 1986, Vol 70: pp. 216-240
Publication Henkin Quantifiers and Complete Problems Andreas Blass, Yuri Gurevich Annals of Pure and Applied Logic 32 (1986), 1-16 | April 1986, Vol 32: pp. 1-16
Publication Monadic Second-order Theories Yuri Gurevich Model-Theoretical Logics eds. Jon Barwise and Sol Feferman Springer-Verlag, Perspective in Mathematical Logic | 1985
Publication The Decision Problem for Branching Time Logic Yuri Gurevich, Saharon Shelah Journal of Symbolic Logic | August 1985, Vol 50: pp. 668-681
Publication A New Thesis Yuri Gurevich 85T-68-203 | August 1985 Abstracts, American Mathematical Society
Publication Yacc in Sasl — an Exercise in Functional Programming Simon Peyton Jones Software—Practice & Experience | August 1985, Vol 15: pp. 807-820
Publication A Zero-one Law for Logic with a Fixed-point Operator Andreas Blass, Yuri Gurevich, D. Kozen Information and Control | April 1985, Vol 67: pp. 70-90
Publication A Decidable Subclass of the Minimal Goedel Case with Identity W. D. Goldfarb, Yuri Gurevich, Saharon Shelah Journal of Symbolic Logic | December 1984, Vol 49: pp. 1253-1261
