Raphael Cohn

Identifiers

• name variant Raphael Cohn 0.60 · backfill

Papers (1)

1. On the Semantics of ReFLect as a Basis for a Reflective Theorem Prover cs.LO · 2013 · author #2

Mentions

• 1309.5742 #2 · backfill · confidence 0.70 Raphael Cohn

Frequent Coauthors

• Ian Childs 1 shared papers
• Tom Melham 1 shared papers