Decision Procedures for Automating Termination Proofs (Q3075496): Difference between revisions

@@ Property / describes a project that uses @@
+ACL2
@@ Property / describes a project that uses: ACL2 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-18275-4_26
+Normal rank
@@ Property / OpenAlex ID @@
+W3207766939
@@ Property / OpenAlex ID: W3207766939 / rank @@
+Normal rank
@@ Property / cites work @@
+Term Rewriting and All That
@@ Property / cites work: Term Rewriting and All That / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751353
@@ Property / cites work: Q2751353 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic Termination Proofs for Programs with Shape-Shifting Heaps
+Normal rank
@@ Property / cites work @@
+Q2769578
@@ Property / cites work: Q2769578 / rank @@
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Ensuring termination by typability
@@ Property / cites work: Ensuring termination by typability / rank @@
+Normal rank
@@ Property / cites work @@
+Proving termination with multiset orderings
@@ Property / cites work: Proving termination with multiset orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Automating the Knuth Bendix ordering
@@ Property / cites work: Automating the Knuth Bendix ordering / rank @@
+Normal rank
@@ Property / cites work @@
+Q5584402
@@ Property / cites work: Q5584402 / rank @@
+Normal rank
@@ Property / cites work @@
+On Local Reasoning in Verification
@@ Property / cites work: On Local Reasoning in Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Incremental Instance Generation in Local Reasoning
+Normal rank
@@ Property / cites work @@
+Ordered Sets in the Calculus of Data Structures
@@ Property / cites work: Ordered Sets in the Calculus of Data Structures / rank @@
+Normal rank
@@ Property / cites work @@
+The size-change principle for program termination
@@ Property / cites work: The size-change principle for program termination / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem Proving in Higher Order Logics
@@ Property / cites work: Theorem Proving in Higher Order Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4263810
@@ Property / cites work: Q4263810 / rank @@
+Normal rank
@@ Property / cites work @@
+Simplification by Cooperating Decision Procedures
@@ Property / cites work: Simplification by Cooperating Decision Procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Simple LPO constraint solving methods
@@ Property / cites work: Simple LPO constraint solving methods / rank @@
+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 @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Transition Invariants and Transition Predicate Abstraction for Program Termination
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-20
@@ Property / cites work: Automated Deduction – CADE-20 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5446292
@@ Property / cites work: Q5446292 / rank @@
+Normal rank
@@ Property / cites work @@
+Decision procedures for algebraic data types with abstractions
+Normal rank
@@ Property / cites work @@
+Q4809072
@@ Property / cites work: Q4809072 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-20
@@ Property / cites work: Automated Deduction – CADE-20 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3075496