Vaughan R. Pratt

发表

Vaughan R. Pratt, V. Pratt, 2011, ICDCIT.
Vaughan R. Pratt, V. Pratt, 1980, STOC '80.
Vaughan R. Pratt, T. Coe, T. Mathisen, 1995 .
O. P. Lossers, Donald E. Knuth, Vaughan R. Pratt, 2000, Am. Math. Mon..
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, 1988, Algebraic Logic and Universal Algebra in Computer Science.
Vaughan R. Pratt, V. Pratt, 1980 .
Vaughan R. Pratt, V. Pratt, 1995, Computer Science Today.
Vaughan R. Pratt, V. Pratt, 1975, 16th Annual Symposium on Foundations of Computer Science (sfcs 1975).
Manuel Blum, Robert E. Tarjan, Ronald L. Rivest, 1973, J. Comput. Syst. Sci..
Vaughan R. Pratt, 1995, TAPSOFT.
Vaughan R. Pratt, V. Pratt, 1994 .
Vaughan R. Pratt, Michael Shantz, Sheue-Ling Lien, 1987, SIGGRAPH.
Donald E. Knuth, Vaughan R. Pratt, James H. Morris, 1977, SIAM J. Comput..
Vaughan R. Pratt, John E. Warnock, Peter Karow, 1985, SIGGRAPH '85.
Vaughan R. Pratt, V. Pratt, 1972, Complexity of Computer Computations.
Michael Rodeh, Shimon Even, Vaughan R. Pratt, 1981, JACM.
Vaughan R. Pratt, Foong Frances Yao, V. Pratt, 1973, SWAT.
David Harel, Vaughan R. Pratt, V. Pratt, 1978, POPL.
Larry J. Stockmeyer, Vaughan R. Pratt, L. Stockmeyer, 1976, J. Comput. Syst. Sci..
Vaughan R. Pratt, V. Pratt, 1975, IJCAI 1975.
Vaughan R. Pratt, V. Pratt, 1980, J. Comput. Syst. Sci..
Vaughan R. Pratt, Gideon Avrahami, 1991 .
Vaughan R. Pratt, 1997, EXPRESS.
Vaughan R. Pratt, 2002, CONCUR.
Ronald L. Rivest, Vaughan R. Pratt, R. Rivest, 1976, IEEE Annual Symposium on Foundations of Computer Science.
Vaughan R. Pratt, V. Pratt, 1985, SIGGRAPH.
Vaughan R. Pratt, V. Pratt, 2003, Mathematical Structures in Computer Science.
Vaughan R. Pratt, V. Pratt, 1980, POPL '80.
Vaughan R. Pratt, Steven D. Litvintchouk, V. Pratt, 1977, IJCAI.
Vaughan R. Pratt, V. Pratt, 1981, 22nd Annual Symposium on Foundations of Computer Science (sfcs 1981).
Sebastian Thrun, J. Zico Kolter, Vaughan R. Pratt, 2011, 2011 IEEE Intelligent Vehicles Symposium (IV).
Vaughan R. Pratt, V. Pratt, 1974, STOC '74.
Vaughan R. Pratt, V. Pratt, 1973, POPL.
Vaughan R. Pratt, 1979, MFCS.
Vaughan R. Pratt, V. Pratt, 1983, Lecture Notes in Computer Science.
Vaughan R. Pratt, V. Pratt, 1991, POPL '91.
Vaughan R. Pratt, V. Pratt, 1979, POPL.
José Meseguer, Vaughan R. Pratt, Roger F. Crew, 1989, Mathematical Structures in Computer Science.
Vaughan R. Pratt, Gordon Plotkin, 1997 .
Jerzy Tiuryn, Vaughan R. Pratt, V. Pratt, 1996, Fundam. Informaticae.
Vaughan R. Pratt, V. Pratt, 1975, SIAM J. Comput..
Manuel Blum, Robert E. Tarjan, Ronald L. Rivest, 1972, STOC.
Dusko Pavlovic, Vaughan R. Pratt, V. Pratt, 2002, Theor. Comput. Sci..
Albert R. Meyer, David Harel, Vaughan R. Pratt, 1977, STOC '77.
Vaughan R. Pratt, 2017, DALI@TABLEAUX.
Vaughan R. Pratt, V. Pratt, 1981, Logic of Programs.
Haim Gaifman, Vaughan R. Pratt, V. Pratt, 1987, LICS.
Vaughan R. Pratt, V. Pratt, 1987, SIGGRAPH.
Vaughan R. Pratt, V. Pratt, 1973, IJCAI.
Laxmi Parida, Vaughan R. Pratt, Rohit Parikh, 2001, Log. J. IGPL.
Gerard J. Holzmann, Vaughan R. Pratt, Doron Peled, 1997 .
Sebastian Thrun, Gary R. Bradski, Ara V. Nefian, 2006, J. Field Robotics.
Gordon D. Plotkin, Vaughan R. Pratt, G. Plotkin, 1996, Partial Order Methods in Verification.
Sebastian Thrun, Michael Montemerlo, Celia M. Oakley, 2006 .
Vaughan R. Pratt, V. Pratt, 1991, Stud Logica.
Vaughan R. Pratt, V. Pratt, 1992, CONCUR.
Vaughan R. Pratt, V. Pratt, 1993, MFCS.
Gerard J. Holzmann, Vaughan R. Pratt, Doron Peled, 1997 .
Vaughan R. Pratt, V. Pratt, 1976, 17th Annual Symposium on Foundations of Computer Science (sfcs 1976).
Vaughan R. Pratt, 1990, JELIA.
Larry J. Stockmeyer, Vaughan R. Pratt, Michael O. Rabin, 1974, STOC '74.
Gerard J. Holzmann, Vaughan R. Pratt, Doron Peled, 1997, Partial Order Methods in Verification.
Vaughan R. Pratt, V. Pratt, 1986, International Journal of Parallel Programming.
Vaughan R. Pratt, 1995, TAPSOFT.
Vaughan R. Pratt, V. Pratt, 2000, Mathematical Structures in Computer Science.
Vaughan R. Pratt, V. Pratt, 1984, Seminar on Concurrency.
Vaughan R. Pratt, V. Pratt, 1995, Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.
Vaughan R. Pratt, Ryan Propper, Keyvan Mohajer, 2006, SPIE Defense + Commercial Sensing.
Vaughan R. Pratt, V. Pratt, 2010, Fundam. Informaticae.
Ronald L. Rivest, Vaughan R. Pratt, 1976, 17th Annual Symposium on Foundations of Computer Science (sfcs 1976).
Vaughan R. Pratt, 1981, POPL '81.
Vaughan R. Pratt, V. Pratt, 1994, Theory and Practice of Parallel Programming.
Vaughan R. Pratt, V. Pratt, 1985, Logic of Programs.
Vaughan R. Pratt, 1984, IEEE Computer Graphics and Applications.
Vaughan R. Pratt, 1972, Outstanding Dissertations in the Computer Sciences.
Dusko Pavlovic, Vaughan R. Pratt, V. Pratt, 1999, CMCS.
Alan J. Perlis, Vaughan R. Pratt, William H. Burge, 1979 .
José Meseguer, Vaughan R. Pratt, Roger F. Crew, 1991, Math. Struct. Comput. Sci..
Vaughan R. Pratt, 1983, The Analysis of Concurrent Systems.
Vaughan R. Pratt, V. Pratt, 1976, FOCS 1976.
Vaughan R. Pratt, V. Pratt, 1982, POPL '82.
Vaughan R. Pratt, V. Pratt, 1979, 20th Annual Symposium on Foundations of Computer Science (sfcs 1979).
Vaughan R. Pratt, V. Pratt, 1999, Ann. Pure Appl. Log..
Gerard J. Holzmann, Vaughan R. Pratt, Doron Peled, 1996 .
Vaughan R. Pratt, 1996, CSUR.
Vaughan R. Pratt, Vineet Gupta, Vineet Gupta, 1993, Proceedings of 1993 IEEE 34th Annual Foundations of Computer Science.
Vaughan R. Pratt, V. Pratt, 1991, AMAST.
Vaughan R. Pratt, V. Pratt, 1994, Proceedings Workshop on Physics and Computation. PhysComp '94.
Vaughan R. Pratt, 1992, LATIN.