Publication Teaching of computer design to computer science undergraduates. Butler Lampson The Teaching of Computer Design | September 1971
Publication Towards Lightweight, Model-Agnostic and Diversity-Aware Active Anomaly Detection Xu Zhang, Yuan Zhao, Ziang Cui, Liqun Li, Shilin He, Qingwei Lin 林庆维, Yingnong Dang, S. Rajmohan, Dongmei Zhang ICLR’23 | December 1969
Publication The Decision Problem for Decision Problems Yuri Gurevich Algebra and Logic | August 1969, Vol 8: pp. 362-363
Publication The Decision Problem for Logic of Predicates and Operations Yuri Gurevich April 1969, pp. Pages 284-308 of the Russian original Pages – 160-174 of the English translation
Publication Hereditary Undecidability of the Theory of Lattice-ordered Abelian Groups Yuri Gurevich Algebra and Logic (Russian) | May 1967, pp. 45-62
Publication A User Machine in a Time-Sharing System Butler Lampson, W.W. Lichtenberger, M.W. Pirtle Proceedings of the IEEE | December 1966, Vol 54(12): pp. 1766-1774 Reprinted in Computer Structures, ed. Bell and Newell, McGraw-Hill, 1971, pp 291-300.
Publication The Word Problem for Some Classes of Semigroups Yuri Gurevich Algebra and Logic (Russian) | July 1966, pp. 25-35
Publication Elementary Properties of Ordered Abelian Groups Yuri Gurevich AMS Translations | October 1965, Vol 46: pp. 165-192
Publication Universal Equivalence of Ordered Abelian Groups Yuri Gurevich Algebra and Logic | April 1963, pp. 37-39