Login / Signup
Elijah Kagan
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 2
Top Topics
Search Algorithm
Knowledge Representation And Reasoning
Theorem Prover
Automated Reasoning
Top Venues
CoRR
IJCAR (2)
</>
Publications
</>
Grant O. Passmore
,
Simon Cruanes
,
Denis Ignatovich
,
Dave Aitken
,
Matt Bray
,
Elijah Kagan
,
Kostya Kanishev
,
Ewen Maclean
,
Nicola Mometto
The Imandra Automated Reasoning System (System Description).
IJCAR (2)
(2020)
Grant Olney Passmore
,
Simon Cruanes
,
Denis Ignatovich
,
Dave Aitken
,
Matt Bray
,
Elijah Kagan
,
Kostya Kanishev
,
Ewen Maclean
,
Nicola Mometto
The Imandra Automated Reasoning System (system description).
CoRR
(2020)