Abstract Soundness

MaRDI QIDQ7361541FDO

Authors Jasmin Christian Blanchette, Andrei Popescu, Dmitriy Traytel

Publication date 10 February 2017

Cites work

• Soundness and completeness proofs by coinductive methods

Cited in

(2)

• A Sequent Calculus Prover for First-Order Logic with Functions
• A Naive Prover for First-Order Logic

This page was built for software: Abstract Soundness