Pratt, Vaughan R.
Vaughan Ronald Pratt
Pratt, V.
Pratt, Vaughan Ronald
Pratt, Vaughan R. (1944- )
Pratt, Vaughan.
VIAF ID: 165199731 ( Personal )
Permalink: http://viaf.org/viaf/165199731
Preferred Forms
- 100 1 _ ‡a Pratt, V.
-
- 100 1 _ ‡a Pratt, Vaughan R.
- 100 1 _ ‡a Pratt, Vaughan R.
-
-
- 100 1 _ ‡a Pratt, Vaughan Ronald
-
-
- 100 0 _ ‡a Vaughan Ronald Pratt
4xx's: Alternate Name Forms (15)
Works
Title | Sources |
---|---|
Algorithms for program verification | |
Partial order methods in verification : DIMACS workshop July 24-26, 1996 | |
A proof-checker for dynamic logic | |
Satisfiability of inequalities in a poset | |
School on category theory and applications : Coimbra, 13-17/7/1999 | |
Shellsort and sorting networks | |
Sullied seas : strategies for combating cyanide fishing in Southeast Asia and beyond |