Programming languages & software engineering

Yuri Gurevich, Lawrence A. Moss

CSL’89, 3rd Workshop on Computer Science Logic Springer Lecture Notes in Computer Science 440 | April 1990

Yuri Gurevich

FOCS’90, 31st Annual Symposium on Foundations of Computer Science IEEE Computer Society Press, 1990, 802-811. | April 1990

Paul Haeberli, Kurt Akeley

SIGGRAPH ’90: Proceedings of the 17th annual conference on Computer graphics and interactive techniques | January 1990

ISBN: 0-201-50933-4

Andrew Birrell, Butler Lampson, Mike Schroeder

| December 1989

Digital Equipment Corp. Systems Research Center による投稿

G. Ramalingam, Thomas Reps

CSTR-900 | December 1989

Yuri Gurevich

Chapter in “Current Trends in Theoretical Computer Science”, Eds. G. Rozenberg and A. Salomaa, World Scientific, Series in Computer Science | 1989, Vol 40

Yuri Gurevich

Bulletin of the European Association for Theoretical Computer Science | June 1989, pp. 93-100

SL Peyton Jones, C Clack, J Salkild, Simon Peyton Jones

Proc Parallel Architectures and Languages Europe (PARLE), Lecture notes in Computer Science | June 1989

Yuri Gurevich (gurevich), Saharon Shelah

Journal of Symbolic Logic | April 1989, 巻54(2): pp. 305-323

Andreas Blass, Yuri Gurevich

April 1989