by Pratt, Vaughan
Published in Acta informatica (01.10.2020)

by PRATT, VAUGHAN R.
Published in Mathematical structures in computer science (01.08.2003)

by Höfner, Peter, Morgan, Carroll, Pratt, Vaughan
Published in Acta informatica (01.10.2020)

by Höfner, Peter, Morgan, Carroll, Pratt, Vaughan
Published in Acta informatica (01.10.2020)

by Höfner, Peter, Morgan, Carroll, Pratt, Vaughan
Published in Acta informatica (2020)

by Barber, Charles Victor, Pratt, Vaughan R.
Published in Environment : science and policy for sustainable development (01.10.1998)

by Levinson, Jesse, Pratt, Vaughan, Sokolsky, Michael, Stanek, Ganymed, Stavens, David, Teichman, Alex, Werling, Moritz, Thrun, Sebastian, Askeland, Jake, Becker, Jan, Dolson, Jennifer, Held, David, Kammel, Soeren, Kolter, J. Zico, Langer, Dirk, Pink, Oliver
Published in 2011 IEEE Intelligent Vehicles Symposium (IV) (01.06.2011)

by Pratt, Vaughan
Published in Dynamic Logic. New Trends and Applications (2017)

by Pratt, Vaughan
Published in Fundamenta informaticae (2010)

by Thrun, Sebastian, Montemerlo, Mike, Dahlkamp, Hendrik, Stavens, David, Aron, Andrei, Diebel, James, Fong, Philip, Gale, John, Halpenny, Morgan, Hoffmann, Gabriel, Lau, Kenny, Oakley, Celia, Palatucci, Mark, Pratt, Vaughan, Stang, Pascal, Strohband, Sven, Dupont, Cedric, Jendrossek, Lars-Erik, Koelen, Christian, Markey, Charles, Rummel, Carlo, van Niekerk, Joe, Jensen, Eric, Alessandrini, Philippe, Bradski, Gary, Davies, Bob, Ettinger, Scott, Kaehler, Adrian, Nefian, Ara, Mahoney, Pamela
Published in Journal of field robotics (01.09.2006)

by Pratt, Vaughan
Published in Distributed Computing and Internet Technology (2011)

by Pratt, Vaughan
Published in Studia logica (1991)

by Pratt, Vaughan
Published in The College mathematics journal (01.01.2009)

by Pratt, Vaughan
Published in The College mathematics journal (01.01.2009)

by Pratt, Vaughan
Published in Theoretical computer science (18.02.2003)

by Pratt, Vaughan R.
Published in SIAM journal on computing (01.09.1975)

by Pratt, Vaughan R.
Published in SIAM journal on computing (01.09.1975)

by Pratt, Vaughan
Published in Annals of pure and applied logic (01.03.1999)

by Pratt, Vaughan R
Year of Publication 29.08.2012

by Knuth, Donald E., Morris, Jr, James H., Pratt, Vaughan R.
Published in SIAM journal on computing (01.06.1977)