Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. On the Semantics of ReFLect as a Basis for a Reflective Theorem Prover

On the Semantics of ReFLect as a Basis for a Reflective Theorem Prover

Tom Melham‚ Raphael Cohn and Ian Childs

Journal
arXiv Computing Research Repository
Month
September
Volume
arXiv:1309.5742 [cs.LO]
Year
2013

Links

See Also

Back to Top