Symbol elimination and applications to parametric entailment problems (Q831921): Difference between revisions

@@ Property / cites work @@
+Untersuchungen über das Eliminationsproblem der mathematischen Logik
+Normal rank
@@ Property / cites work @@
+Zum Eliminationsproblem der mathematischen Logik
@@ Property / cites work: Zum Eliminationsproblem der mathematischen Logik / rank @@
+Normal rank
@@ Property / cites work @@
+Definability of Accelerated Relations in a Theory of Arrays and Its Applications
+Normal rank
@@ Property / cites work @@
+Refutational theorem proving for hierarchic first-order theories
+Normal rank
@@ Property / cites work @@
+Hierarchic Superposition with Weak Abstraction
@@ Property / cites work: Hierarchic Superposition with Weak Abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchic superposition revisited
@@ Property / cites work: Hierarchic superposition revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Horn Clause Solvers for Program Verification
@@ Property / cites work: Horn Clause Solvers for Program Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic Generation of Invariants for Circular Derivations in SUP(LA)
+Normal rank
@@ Property / cites work @@
+Q4415251
@@ Property / cites work: Q4415251 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3543581
@@ Property / cites work: Q3543581 / rank @@
+Normal rank
@@ Property / cites work @@
+Relational and Kleene-Algebraic Methods in Computer Science
+Normal rank
@@ Property / cites work @@
+Interpolation and Symbol Elimination in Vampire
@@ Property / cites work: Interpolation and Symbol Elimination in Vampire / rank @@
+Normal rank
@@ Property / cites work @@
+Obtaining Finite Local Theory Axiomatizations via Saturation
+Normal rank
@@ Property / cites work @@
+Locality Transfer: From Constrained Axiomatizations to Reachability Predicates
+Normal rank
@@ Property / cites work @@
+Deciding the Inductive Validity of ∀ ∃ * Queries
+Normal rank
@@ Property / cites work @@
+On Local Reasoning in Verification
@@ Property / cites work: On Local Reasoning in Verification / rank @@
+Normal rank
@@ Property / cites work @@
+On Hierarchical Reasoning in Combinations of Theories
+Normal rank
@@ Property / cites work @@
+Combining Superposition and Induction: A Practical Realization
+Normal rank
@@ Property / cites work @@
+Invariant Generation for P-Solvable Loops with Assignments
+Normal rank
@@ Property / cites work @@
+Reasoning Algebraically About P-Solvable Loops
@@ Property / cites work: Reasoning Algebraically About P-Solvable Loops / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation and Symbol Elimination
@@ Property / cites work: Interpolation and Symbol Elimination / rank @@
+Normal rank
@@ Property / cites work @@
+On invariant synthesis for parametric systems
@@ Property / cites work: On invariant synthesis for parametric systems / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-20
@@ Property / cites work: Automated Deduction – CADE-20 / rank @@
+Normal rank
@@ Property / cites work @@
+On Interpolation and Symbol Elimination in Theory Extensions
+Normal rank