Certified Reasoning with Infinity (Q5206958): Difference between revisions

@@ Property / cites work @@
+Interacting with Modal Logics in the Coq Proof Assistant
+Normal rank
@@ Property / cites work @@
+Q5387443
@@ Property / cites work: Q5387443 / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying and Reflecting Quantifier Elimination for Presburger Arithmetic
+Normal rank
@@ Property / cites work @@
+Automated verification of shape, size and bag properties via user-defined predicates in separation logic
+Normal rank
@@ Property / cites work @@
+BI as an assertion language for mutable data structures
+Normal rank
@@ Property / cites work @@
+Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants
+Normal rank
@@ Property / cites work @@
+Q4858739
@@ Property / cites work: Q4858739 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-20
@@ Property / cites work: Automated Deduction – CADE-20 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic
+Normal rank
@@ Property / cites work @@
+Effective Quantifier Elimination for Presburger Arithmetic with Infinity
+Normal rank
@@ Property / cites work @@
+Applying Linear Quantifier Elimination
@@ Property / cites work: Applying Linear Quantifier Elimination / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q3344398
@@ Property / cites work: Q3344398 / rank @@
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+Decision Procedures for Multisets with Cardinality Constraints
+Normal rank
@@ Property / cites work @@
+Linear Arithmetic with Stars
@@ Property / cites work: Linear Arithmetic with Stars / rank @@
+Normal rank
@@ Property / cites work @@
+Q3932278
@@ Property / cites work: Q3932278 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantifier elimination for real algebra -- the quadratic case and beyond
+Normal rank