公開日 Infinite Games Yuri Gurevich Bulletin of the European Association for Theoretical Computer Science | June 1989, pp. 93-100
公開日 High-performance parallel graph reduction SL Peyton Jones, C Clack, J Salkild, Simon Peyton Jones Proc Parallel Architectures and Languages Europe (PARLE), Lecture notes in Computer Science | June 1989
公開日 On the Strength of the Interpretation Method Yuri Gurevich (gurevich), Saharon Shelah Journal of Symbolic Logic | April 1989, 巻54(2): pp. 305-323
公開日 On Matiyasevich’s Non-traditional Approach to Search Problems Andreas Blass, Yuri Gurevich April 1989
公開日 Nearly Linear Time Yuri Gurevich, Saharon Shelah Symposium on Logical Foundations of Computer Science in Pereslavl-Zalessky, USSR Springer Lecture Notes in Computer Science 363 | April 1989
公開日 Parallel implementations of functional programming languages SL Peyton Jones, Simon Peyton Jones Computer Journal | April 1989, 巻32(2): pp. 175-186
公開日 An Introduction to Programming with Threads Andrew Birrell 35 | January 1989 A revised version appeared in Systems Programming with Modula-3, Prentice Hall, 1991
公開日 Games People Play Yuri Gurevich “Collected Works of J. Richard Büchi” ed. Saunders Mac Lane and Dirk Siefkes Springer-Verlag | 1988
公開日 Logic and the Challenge of Computer Science Yuri Gurevich Current Trends in Theoretical Computer Science ed. Egon Boerger | Computer Science Press による投稿 | 1988
公開日 Algebraic Operational Semantics and Modula-2 Yuri Gurevich, Jim Morris CSL’87, 1st Workshop on Computer Science Logic Springer Lecture Notes in Computer Science 329 | July 1988