V. Pratt
发表
Vaughan R. Pratt,
T. Coe,
T. Mathisen,
1995
.
Sebastian Thrun,
Gary R. Bradski,
Ara V. Nefian,
2006,
J. Field Robotics.
Sebastian Thrun,
J. Zico Kolter,
Vaughan R. Pratt,
2011,
2011 IEEE Intelligent Vehicles Symposium (IV).
Manuel Blum,
Robert E. Tarjan,
Ronald L. Rivest,
1973,
J. Comput. Syst. Sci..
Larry J. Stockmeyer,
Vaughan R. Pratt,
Michael O. Rabin,
1974,
STOC '74.
Donald E. Knuth,
Vaughan R. Pratt,
James H. Morris,
1977,
SIAM J. Comput..
V. Pratt,
2002
.
Sebastian Thrun,
Michael Montemerlo,
Celia M. Oakley,
2006
.
Vaughan R. Pratt,
V. Pratt,
1975,
SIAM J. Comput..
Vaughan R. Pratt,
Foong Frances Yao,
V. Pratt,
1973,
SWAT.
Larry J. Stockmeyer,
Vaughan R. Pratt,
L. Stockmeyer,
1976,
J. Comput. Syst. Sci..
Vaughan R. Pratt,
V. Pratt,
1980,
POPL '80.
Jeffrey D. Oldham,
J. D. Oldham,
Vaughan Pratt,
1999
.
Vaughan R. Pratt,
V. Pratt,
1994,
Proceedings Workshop on Physics and Computation. PhysComp '94.
V. Pratt,
2003
.
V. Pratt,
1995
.
V. Pratt,
2007
.
S. Shelah,
R. Kowalski,
J. Benthem,
2022
.
Dusko Pavlovic,
Vaughan R. Pratt,
V. Pratt,
2002,
Theor. Comput. Sci..
O. P. Lossers,
Donald E. Knuth,
Vaughan R. Pratt,
2000,
Am. Math. Mon..
V. Pratt,
1994
.
Ronald L. Rivest,
Vaughan R. Pratt,
R. Rivest,
1976,
IEEE Annual Symposium on Foundations of Computer Science.
Haim Gaifman,
Vaughan R. Pratt,
V. Pratt,
1987,
LICS.
V. Pratt,
2005
.
Gerard J. Holzmann,
Vaughan R. Pratt,
Doron Peled,
1997
.
Gerard J. Holzmann,
Vaughan R. Pratt,
Doron Peled,
1997,
Partial Order Methods in Verification.
Gerard J. Holzmann,
Vaughan R. Pratt,
Doron Peled,
1997
.
V. Pratt,
2017
.
V. Pratt,
D. Peled,
G. Holzmann,
1997
.
Vaughan R. Pratt,
V. Pratt,
2011,
ICDCIT.
Vaughan R. Pratt,
V. Pratt,
2003,
Mathematical Structures in Computer Science.
Vaughan R. Pratt,
V. Pratt,
2000,
Mathematical Structures in Computer Science.
Vaughan R. Pratt,
V. Pratt,
1994
.
Vaughan R. Pratt,
V. Pratt,
2004
.
Vaughan R. Pratt,
V. Pratt,
1994,
Theory and Practice of Parallel Programming.
Vaughan R. Pratt,
V. Pratt,
1994
.
Vaughan R. Pratt,
V. Pratt,
1986,
International Journal of Parallel Programming.
Vaughan R. Pratt,
V. Pratt,
2022
.
José Meseguer,
Vaughan R. Pratt,
Roger F. Crew,
1989,
Mathematical Structures in Computer Science.
Vaughan R. Pratt,
V. Pratt,
1988,
Algebraic Logic and Universal Algebra in Computer Science.
Vaughan R. Pratt,
V. Pratt,
1985,
Logic of Programs.
Vaughan R. Pratt,
V. Pratt,
1984,
Seminar on Concurrency.
Vaughan R. Pratt,
V. Pratt,
1982,
POPL '82.
Vaughan R. Pratt,
V. Pratt,
1973,
POPL.
V. Pratt,
P. Rubec,
B. McCullough,
2001
.
Vaughan R. Pratt,
V. Pratt,
1985,
SIGGRAPH.
Vaughan R. Pratt,
V. Pratt,
1987,
SIGGRAPH.
Vaughan R. Pratt,
V. Pratt,
1976,
FOCS 1976.
Vaughan R. Pratt,
V. Pratt,
1974,
STOC '74.
V. Pratt,
P. Rubec,
Ferdinand Cruz,
2001
.
V. Pratt,
C. V. Barber,
1998
.
Vaughan R. Pratt,
V. Pratt,
1991,
Stud Logica.
Michael Rodeh,
Shimon Even,
Vaughan R. Pratt,
1981,
JACM.
Vaughan R. Pratt,
V. Pratt,
1981,
22nd Annual Symposium on Foundations of Computer Science (sfcs 1981).
Vaughan R. Pratt,
V. Pratt,
1975,
16th Annual Symposium on Foundations of Computer Science (sfcs 1975).
Gordon D. Plotkin,
Vaughan R. Pratt,
G. Plotkin,
1996,
Partial Order Methods in Verification.
Vaughan R. Pratt,
V. Pratt,
1975,
IJCAI 1975.
Vaughan R. Pratt,
V. Pratt,
1991,
POPL '91.
V. Pratt,
2005
.
Vaughan Pratt,
V. Pratt,
2003,
Theor. Comput. Sci..
Vaughan R. Pratt,
V. Pratt,
1999,
Ann. Pure Appl. Log..
Vaughan R. Pratt,
V. Pratt,
1995,
Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.
Vaughan R. Pratt,
V. Pratt,
1993,
MFCS.
Vaughan R. Pratt,
V. Pratt,
1976,
17th Annual Symposium on Foundations of Computer Science (sfcs 1976).
Vaughan R. Pratt,
V. Pratt,
1977
.
Vaughan R. Pratt,
V. Pratt,
1983,
Lecture Notes in Computer Science.
Vaughan R. Pratt,
V. Pratt,
1972,
Complexity of Computer Computations.
Jerzy Tiuryn,
Vaughan R. Pratt,
V. Pratt,
1996,
Fundam. Informaticae.
Vaughan R. Pratt,
V. Pratt,
1973,
STOC.
Vaughan R. Pratt,
V. Pratt,
1995,
Computer Science Today.
Vaughan R. Pratt,
V. Pratt,
1980,
STOC '80.
Manuel Blum,
Robert E. Tarjan,
Ronald L. Rivest,
1972,
STOC.
Vaughan R. Pratt,
V. Pratt,
1979,
20th Annual Symposium on Foundations of Computer Science (sfcs 1979).
Vaughan R. Pratt,
V. Pratt,
1983,
POPL '83.
David Harel,
Vaughan R. Pratt,
V. Pratt,
1978,
POPL.
Vaughan R. Pratt,
Steven D. Litvintchouk,
V. Pratt,
1977,
IJCAI.
V. Pratt,
1979,
20th Annual Symposium on Foundations of Computer Science (sfcs 1979).
Vaughan R. Pratt,
Michael Shantz,
Sheue-Ling Lien,
1987,
SIGGRAPH.
G. Bradski,
S. Thrun,
Michael Montemerlo,
2006,
J. Field Robotics.
Vaughan R. Pratt,
V. Pratt,
1980
.
Dusko Pavlovic,
Vaughan R. Pratt,
V. Pratt,
1999,
CMCS.
Albert R. Meyer,
David Harel,
Vaughan R. Pratt,
1977,
STOC '77.
Vaughan R. Pratt,
V. Pratt,
1991,
AMAST.
Vaughan R. Pratt,
Vineet Gupta,
Vineet Gupta,
1993,
Proceedings of 1993 IEEE 34th Annual Foundations of Computer Science.
Vaughan R. Pratt,
V. Pratt,
1992,
CONCUR.
Vaughan R. Pratt,
V. Pratt,
1973,
IJCAI.
Vaughan R. Pratt,
V. Pratt,
2010,
Fundam. Informaticae.
V. Pratt,
2009
.
V. Pratt,
2009
.
Vaughan R. Pratt,
V. Pratt,
2004
.
Vaughan R. Pratt,
V. Pratt,
1980,
J. Comput. Syst. Sci..
Vaughan R. Pratt,
V. Pratt,
1979,
POPL.
Vaughan R. Pratt,
V. Pratt,
1981,
Logic of Programs.
V. Pratt,
S. S. Mamauag,
B. McCullough,
2000
.
Gordon D. Plotkin,
Vaughan R. Pratt,
Dominic J. D. Hughes,
1999,
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).
Vaughan R. Pratt,
V. Pratt,
1990,
JELIA.