ProofTool
From MaRDI portal
Software:33996
No author found.
Related Items (6)
Herbrand constructivization for automated intuitionistic theorem proving ⋮ Reducing redundancy in cut-elimination by resolution ⋮ Extraction of expansion trees ⋮ System Description: GAPT 2.0 ⋮ Understanding Resolution Proofs through Herbrand’s Theorem ⋮ Book review of: Matthias Baaz and Alexander Leitsch, Methods of cut-elimination
This page was built for software: ProofTool
