Dependency Pairs for Rewriting with Built-In Numbers and Semantic Data Structures (Q3522011): Difference between revisions

@@ Property / describes a project that uses @@
+AProVE
@@ Property / describes a project that uses: AProVE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Tyrolean
@@ Property / describes a project that uses: Tyrolean / 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-540-70590-1_7
+Normal rank
@@ Property / OpenAlex ID @@
+W1496435538
@@ Property / OpenAlex ID: W1496435538 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of term rewriting using dependency pairs
+Normal rank
@@ Property / cites work @@
+On the Implementation of Construction Functions for Non-free Concrete Data Types
+Normal rank
@@ Property / cites work @@
+Mechanically proving termination using polynomial interpretations
+Normal rank
@@ Property / cites work @@
+Dependency Pairs for Rewriting with Built-In Numbers and Semantic Data Structures
+Normal rank
@@ Property / cites work @@
+Dependency Pairs for Rewriting with Non-free Constructors
+Normal rank
@@ Property / cites work @@
+Operational Termination of Conditional Rewriting with Built-in Numbers and Semantic Data Structures
+Normal rank
@@ Property / cites work @@
+SAT Solving for Termination Analysis with Polynomial Interpretations
+Normal rank
@@ Property / cites work @@
+Q2778873
@@ Property / cites work: Q2778873 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic for Programming, Artificial Intelligence, and Reasoning
+Normal rank
@@ Property / cites work @@
+Frontiers of Combining Systems
@@ Property / cites work: Frontiers of Combining Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanizing and improving dependency pairs
@@ Property / cites work: Mechanizing and improving dependency pairs / rank @@
+Normal rank
@@ Property / cites work @@
+Proving Termination by Bounded Increase
@@ Property / cites work: Proving Termination by Bounded Increase / rank @@
+Normal rank
@@ Property / cites work @@
+Tyrolean termination tool: techniques and features
+Normal rank
@@ Property / cites work @@
+Q4494366
@@ Property / cites work: Q4494366 / rank @@
+Normal rank
@@ Property / cites work @@
+Normalized rewriting: An alternative to rewriting modulo a set of equations
+Normal rank
@@ Property / cites work @@
+Modular and incremental proofs of AC-termination
@@ Property / cites work: Modular and incremental proofs of AC-termination / rank @@
+Normal rank
@@ Property / cites work @@
+Complete Sets of Reductions for Some Equational Theories
+Normal rank