论文与出版物 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
论文与出版物 Monadic Theory of Order and Topology in ZFC Yuri Gurevich, Saharon Shelah Annals of Mathematical Logic | July 1982, pp. 179-198
论文与出版物 A Review of Two Books on the Decision Problem Yuri Gurevich Bulletin of the American Mathematical Society | July 1982, 第 7 卷: pp. 273-277
论文与出版物 Prefix Classes of Krom Formulas with Identity S. O. Aandraa, E. Boerger, Yuri Gurevich July 1982, 第 22 卷: pp. 43-49
论文与出版物 Parametric Equalizer Improves Baxandall Tone Control Henrique S. Malvar Electronics | March 1981