Abstract Soundness

MaRDI QIDQ40553swMATHFDO

Authors Jasmin Christian Blanchette, Andrei Popescu, Dmitriy Traytel

Publication date 10 February 2017

Official website https://www.isa-afp.org/entries/Abstract_Soundness.html

Cites work

• Soundness and completeness proofs by coinductive methods

Cited in

(5)

• Formalization of the resolution calculus for first-order logic
• theoremprover-museum
• Knuth Bendix Orders
• Incompleteness Theorems
• Incredible Proof Machine

This page was built for software: Abstract Soundness