SPIKE
From MaRDI portal
Software:22153
No author found.
Related Items (23)
Unnamed Item ⋮ Implicit induction in conditional theories ⋮ Termination of constructor systems ⋮ Unnamed Item ⋮ Proving termination by dependency pairs and inductive theorem proving ⋮ Decidability and Undecidability Results for Propositional Schemata ⋮ Proving theorems by reuse ⋮ Mechanically certifying formula-based Noetherian induction reasoning ⋮ Termination of theorem proving by reuse ⋮ Narrowing Based Inductive Proof Search ⋮ Unnamed Item ⋮ Rewriting of imperative programs into logical equations ⋮ Completeness and Decidability Results for First-Order Clauses with Indices ⋮ Perfect Discrimination Graphs: Indexing Terms with Integer Exponents ⋮ Termination Analysis by Dependency Pairs and Inductive Theorem Proving ⋮ A general framework to build contextual cover set induction provers ⋮ Towards Systematic Analysis of Theorem Provers Search Spaces: First Steps ⋮ Combining induction and saturation-based theorem proving ⋮ A Schemata Calculus for Propositional Logic ⋮ Automated Deduction – CADE-19 ⋮ Inductive proof search modulo ⋮ Combining Superposition and Induction: A Practical Realization ⋮ On terminating lemma speculations.
This page was built for software: SPIKE
