Search results for: Vaughan Pratt
Lecture Notes in Computer Science > TAPSOFT '95: Theory and Practice of Software Development > 97-107
Lecture Notes in Computer Science > TAPSOFT '95: Theory and Practice of Software Development > 108-122
Lecture Notes in Computer Science > Logics in AI > 97-120
Lecture Notes in Computer Science > Algebraic Logic and Universal Algebra in Computer Science > 77-110
Lecture Notes in Computer Science > Distributed Computing and Internet Technology > Invited Talks > 92-111
Lecture Notes in Computer Science > Logics of Programs > 269-283
2011 IEEE Intelligent Vehicles Symposium (IV) > 163 - 168
Theoretical Computer Science > 2003 > 294 > 3 > 439-471
Aquarium Sciences and Conservation > 2001 > 3 > 1-3 > 37-51
Annals of Pure and Applied Logic > 1999 > 96 > 1-3 > 319-333
Electronic Notes in Theoretical Computer Science > 1996 > 3 > Complete > 155-166
IEEE Computer Graphics and Applications > 1984 > 4 > 4 > 71 - 76