Algorithms

Roy L. Crole, Andy Gordon

International Workshop on Computer Science Logic | January 1995

Lecture Notes in Computer Science

ISBN: 9783540600176

Tom Barclay, Jim Gray, Chris Nyberg, David Lomet, Zarka Cvetanovic

January 1995

Yuri Gurevich

Specification and Validation Methods | Publié par Oxford University Press | 1995

Leslie Lamport

Theoretical Computer Science SRC Research Report 132 | December 1994, Vol 179: pp. 333-351

Leslie Lamport

1994-001 | December 1994

The Annals of Statistics

Jin-Yi Cai, Wolfgang Fuchs, Dexter Kozen, Zicheng Liu

Foundations of Computer Science, 1994 Proceedings., 35th Annual Symposium on | November 1994

Joseph Pentheroudakis, Lucy Vanderwende

Proceedings of the 9th Annual Conference of the UW Centre for the New OED and Text Research, 1993 | November 1994

Proceedings of the 9th Annual Conference of the UW Centre for the New OED and Text Research, 1993

Tolga Acar, Muhittin Gokmen

International Symposium on Computer and Information Sciences | September 1994

Rédacteur(s) en chef: Aggelos K. Katsaggelos

ISCIS X

Leslie Lamport

FACJ 6(5) (September/October 1994) 580-584. Also appeared as SRC Research Report 119. | September 1994

David Lomet

September 1994