Login / Signup

Proofs you can believe in: proving equivalences between Prolog semantics in Coq.

Jael KrienerAndy KingSandrine Blazy
Published in: PPDP (2013)
Keyphrases