CERES
From MaRDI portal
Cited in
(25)- Describing proofs by short tautologies
- Ceres in intuitionistic logic
- Schematic refutations of formula schemata
- Schematic cut elimination and the ordered pigeonhole principle
- System description: GAPT 2.0
- Understanding Resolution Proofs through Herbrand’s Theorem
- Herbrand-confluence
- A paramodulation-based calculus for refuting schemata of clause sets defined by rewrite rules
- Reducing redundancy in cut-elimination by resolution
- Shred
- GAPT
- ProofTool
- Scavenger
- A Clausal Approach to Proof Analysis in Second-Order Logic
- The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem
- Complexity of translations from resolution to sequent calculus
- A tableaux-based decision procedure for multi-parameter propositional schemata
- Logic for Programming, Artificial Intelligence, and Reasoning
- System Description: The Proof Transformation System CERES
- Proof Transformation by CERES
- Extraction of expansion trees
- Extension without cut
- CERES in higher-order logic
- CERES: An analysis of Fürstenberg's proof of the infinity of primes
- On the form of witness terms
This page was built for software: CERES
