CERES
From MaRDI portal
Software:21425
No author found.
Related Items (21)
Ceres in intuitionistic logic ⋮ Logic for Programming, Artificial Intelligence, and Reasoning ⋮ Schematic refutations of formula schemata ⋮ A paramodulation-based calculus for refuting schemata of clause sets defined by rewrite rules ⋮ Reducing redundancy in cut-elimination by resolution ⋮ Extraction of expansion trees ⋮ CERES: An analysis of Fürstenberg's proof of the infinity of primes ⋮ System Description: The Proof Transformation System CERES ⋮ On the form of witness terms ⋮ Extension without cut ⋮ CERES in higher-order logic ⋮ Proof Transformation by CERES ⋮ 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 ⋮ Schematic Cut Elimination and the Ordered Pigeonhole Principle ⋮ System Description: GAPT 2.0 ⋮ Describing proofs by short tautologies ⋮ Complexity of translations from resolution to sequent calculus ⋮ A Tableaux-Based Decision Procedure for Multi-parameter Propositional Schemata ⋮ Understanding Resolution Proofs through Herbrand’s Theorem ⋮ Herbrand-Confluence
This page was built for software: CERES
