Publications index

Yuri Gurevich

"Computation and Proof Theory" (Ed. M. Richter et al.) Springer Lecture Notes in Math | July 1984, Vol 1104: pp. 175-216

Yuri Gurevich, H. R. Lewis

Journal of Symbolic Logic | July 1984, Vol 49: pp. 184-191

Yuri Gurevich, Saharon Shelah

July 1984

Henrique S. Malvar, Henrique S. Malvar

IEEE Transactions on Circuits and Systems | July 1984

Andreas Blass, Yuri Gurevich

Springer Lecture Notes in Computer Science | April 1984, Vol 171: pp. 24-42

Leslie Lamport

ACM Transactions on Programming Languages and Systems | April 1984, pp. 281-296

Leslie Lamport

ACM Transactions on Programming Languages and Systems | April 1984, pp. 254-280

Yuri Gurevich

Information and Control 61 | April 1984, Vol 61: pp. 65-74

Mike Schroeder, Andrew Birrell, Roger Needham

ACM Transactions on Computer Systems | February 1984, Vol 2

Andrew Birrell, Bruce Jay Nelson

ACM Transactions on Computer Systems | February 1984, Vol 2: pp. 39-59