Login / Signup
Jack McKeown
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 3
Top Topics
Inference Rules
Relational Algebra
Theorem Prover
Term Rewriting
Top Venues
FLAIRS
LPAR
</>
Publications
</>