a public good project by the
Synthesis
Company
of California

© 2026

Controlled integration of the cut rule into connection tableau calculi | doi.page

0 citations0 references

Google Scholar doi.org

Controlled integration of the cut rule into connection tableau calculi

Journal of Automated Reasoning·1994·Vol. 13(3), pp. 297–337

Citations Over TimeTop 1% of 1994 papers

Reinhold Letz, Klaus Mayr, Christoph Goller

Related Papers

Practical Proof Reconstruction for First-order Logic and Set-Theoretical Constructions(2007)
→ Proof movie — A proof with the Boyer-Moore prover(1993)7 cited
→ Conclusions(2001)