Login / Signup
Vaughan R. Pratt
Publication Activity (10 Years)
Years Active: 1972-2020
Publications (10 Years): 3
Top Topics
Dynamic Logic
Workshop On Data Mining
Imperative Programs
Top Venues
Acta Informatica
DALI@TABLEAUX
CoRR
</>
Publications
</>