Login / Signup
Raphael Cohn
Publication Activity (10 Years)
Years Active: 2013-2013
Publications (10 Years): 0
Top Topics
Computer Algebra Systems
Theorem Prover
Higher Order Logic
Mathematical Knowledge
Top Venues
CoRR
</>
Publications
</>
Tom Melham
,
Raphael Cohn
,
Ian Childs
On the Semantics of ReFLect as a Basis for a Reflective Theorem Prover.
CoRR
(2013)