Cyclic proofs with ordering constraints

DOI10.1007/978-3-319-66902-1_19zbMath1496.03051OpenAlexW2752025688MaRDI QIDQ1694475

Sorin Stratulat

Publication date: 2 February 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-66902-1_19

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (3)

Unnamed Item ⋮ Mechanical certification of \(\mathrm{FOL_{ID}}\) cyclic proofs ⋮ Unnamed Item

This page was built for publication: Cyclic proofs with ordering constraints