Symbol elimination and applications to parametric entailment problems
From MaRDI portal
Publication:831921
DOI10.1007/978-3-030-86205-3_3OpenAlexW3198882140MaRDI QIDQ831921
Viorica Sofronie-Stokkermans, Dennis Peuter
Publication date: 24 March 2022
Full work available at URL: https://doi.org/10.1007/978-3-030-86205-3_3
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Refutational theorem proving for hierarchic first-order theories
- Untersuchungen über das Eliminationsproblem der mathematischen Logik
- Zum Eliminationsproblem der mathematischen Logik
- Hierarchic superposition revisited
- On invariant synthesis for parametric systems
- On Interpolation and Symbol Elimination in Theory Extensions
- Combining Superposition and Induction: A Practical Realization
- Definability of Accelerated Relations in a Theory of Arrays and Its Applications
- Obtaining Finite Local Theory Axiomatizations via Saturation
- Automatic Generation of Invariants for Circular Derivations in SUP(LA)
- Horn Clause Solvers for Program Verification
- Locality Transfer: From Constrained Axiomatizations to Reachability Predicates
- Invariant Generation for P-Solvable Loops with Assignments
- Deciding the Inductive Validity of ∀ ∃ * Queries
- Hierarchic Superposition with Weak Abstraction
- Interpolation and Symbol Elimination
- Automated Deduction – CADE-20
- Reasoning Algebraically About P-Solvable Loops
- On Local Reasoning in Verification
- Relational and Kleene-Algebraic Methods in Computer Science
- On Hierarchical Reasoning in Combinations of Theories
- Interpolation and Symbol Elimination in Vampire