Login / Signup
John Christopher McCabe-Dansted
Publication Activity (10 Years)
Years Active: 2007-2017
Publications (10 Years): 5
Top Topics
Complete Axiomatization
Rewrite Rules
Temporal Logic
Model Checking
Top Venues
TIME
CoRR
TABLEAUX
Ann. Math. Artif. Intell.
</>
Publications
</>