Modular and incremental proofs of AC-termination (Q2643544): Difference between revisions

@@ Property / author @@
-Claude Marché
@@ Property / author: Claude Marché / rank @@
-Normal rank
@@ Property / author @@
-Xavier Urbain
@@ Property / author: Xavier Urbain / rank @@
-Normal rank
@@ Property / author @@
+Claude Marché
@@ Property / author: Claude Marché / rank @@
+Normal rank
@@ Property / author @@
+Xavier Urbain
@@ Property / author: Xavier Urbain / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Maude
@@ Property / describes a project that uses: Maude / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+REVE
@@ Property / describes a project that uses: REVE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CiME
@@ Property / describes a project that uses: CiME / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OBJ3
@@ Property / describes a project that uses: OBJ3 / 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.1016/j.jsc.2004.02.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2031515077
@@ Property / OpenAlex ID: W2031515077 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of term rewriting using dependency pairs
+Normal rank
@@ Property / cites work @@
+Termination orderings for associative-commutative rewriting systems
+Normal rank
@@ Property / cites work @@
+Termination of rewriting systems by polynomial interpretations and its implementation
+Normal rank
@@ Property / cites work @@
+Q4447239
@@ Property / cites work: Q4447239 / rank @@
+Normal rank
@@ Property / cites work @@
+Maude: specification and programming in rewriting logic
+Normal rank
@@ Property / cites work @@
+Rewrite systems for natural, integral, and rational arithmetic
+Normal rank
@@ Property / cites work @@
+Extension of the associative path ordering to a chain of associative commutative symbols
+Normal rank
@@ Property / cites work @@
+Termination of rewriting
@@ Property / cites work: Termination of rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Modular termination proofs for rewriting using dependency pairs
+Normal rank
@@ Property / cites work @@
+Q2778873
@@ Property / cites work: Q2778873 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized sufficient conditions for modular termination of rewriting
+Normal rank
@@ Property / cites work @@
+Completion of a Set of Rules Modulo a Set of Equations
+Normal rank
@@ Property / cites work @@
+A total, ground path ordering for proving termination of AC-rewrite systems
+Normal rank
@@ Property / cites work @@
+Q4503901
@@ Property / cites work: Q4503901 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4490728
@@ Property / cites work: Q4490728 / rank @@
+Normal rank
@@ Property / cites work @@
+Modular proofs for completeness of hierarchical term rewriting systems
+Normal rank
@@ Property / cites work @@
+Modularity of simple termination of term rewriting systems with shared constructors
+Normal rank
@@ Property / cites work @@
+Q4494366
@@ Property / cites work: Q4494366 / rank @@
+Normal rank
@@ Property / cites work @@
+Context-sensitive rewriting strategies
@@ Property / cites work: Context-sensitive rewriting strategies / rank @@
+Normal rank
@@ Property / cites work @@
+Normalized rewriting: An alternative to rewriting modulo a set of equations
+Normal rank
@@ Property / cites work @@
+Completeness of combinations of constructor systems
+Normal rank
@@ Property / cites work @@
+On the modularity of termination of term rewriting systems
+Normal rank
@@ Property / cites work @@
+Modular properties of composable term rewriting systems
+Normal rank
@@ Property / cites work @@
+Q2783416
@@ Property / cites work: Q2783416 / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchical termination revisited.
@@ Property / cites work: Hierarchical termination revisited. / rank @@
+Normal rank
@@ Property / cites work @@
+Complete Sets of Reductions for Some Equational Theories
+Normal rank
@@ Property / cites work @@
+Q4938602
@@ Property / cites work: Q4938602 / rank @@
+Normal rank
@@ Property / cites work @@
+Counterexamples to termination for the direct sum of term rewriting systems
+Normal rank
@@ Property / cites work @@
+Q4539636
@@ Property / cites work: Q4539636 / rank @@
+Normal rank
@@ Property / cites work @@
+Modular and incremental automated termination proofs
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2643544