Modularity in term rewriting revisited (Q1929227): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2012.09.008
+Normal rank
@@ Property / OpenAlex ID @@
+W1966909677
@@ Property / OpenAlex ID: W1966909677 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4413064
@@ Property / cites work: Q4413064 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4520528
@@ Property / cites work: Q4520528 / rank @@
+Normal rank
@@ Property / cites work @@
+A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Q5389133
@@ Property / cites work: Q5389133 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3783521
@@ Property / cites work: Q3783521 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4799892
@@ Property / cites work: Q4799892 / rank @@
+Normal rank
@@ Property / cites work @@
+Innocuous constructor-sharing combinations
@@ Property / cites work: Innocuous constructor-sharing combinations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692463
@@ Property / cites work: Q4692463 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769431
@@ Property / cites work: Q2769431 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2911632
@@ Property / cites work: Q2911632 / rank @@
+Normal rank
@@ Property / cites work @@
+Sufficient conditions for modular termination of conditional term rewriting systems
+Normal rank
@@ Property / cites work @@
+Generalized sufficient conditions for modular termination of rewriting
+Normal rank
@@ Property / cites work @@
+Q4846997
@@ Property / cites work: Q4846997 / rank @@
+Normal rank
@@ Property / cites work @@
+On termination and confluence properties of disjoint and constructor-sharing conditional rewrite systems
+Normal rank
@@ Property / cites work @@
+On proving termination by innermost termination
@@ Property / cites work: On proving termination by innermost termination / rank @@
+Normal rank
@@ Property / cites work @@
+Recent trends in algebraic development techniques. 12th international workshop, WADT '97, Tarquinia, Italy, June 3--7, 1997. Selected papers
+Normal rank
@@ Property / cites work @@
+Modular Church-Rosser Modulo
@@ Property / cites work: Modular Church-Rosser Modulo / rank @@
+Normal rank
@@ Property / cites work @@
+Modularity of confluence: A simplified proof
@@ Property / cites work: Modularity of confluence: A simplified proof / rank @@
+Normal rank
@@ Property / cites work @@
+Q4268467
@@ Property / cites work: Q4268467 / 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 @@
+Semi-completeness of hierarchical and super-hierarchical combinations of term rewriting systems
+Normal rank
@@ Property / cites work @@
+Modularity of termination in term graph rewriting
@@ Property / cites work: Modularity of termination in term graph rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture
+Normal rank
@@ Property / cites work @@
+Modular term rewriting systems and the termination
+Normal rank
@@ Property / cites work @@
+Modularity in noncopying term rewriting
@@ Property / cites work: Modularity in noncopying term rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Q4259966
@@ Property / cites work: Q4259966 / rank @@
+Normal rank
@@ Property / cites work @@
+Context-sensitive rewriting strategies
@@ Property / cites work: Context-sensitive rewriting strategies / rank @@
+Normal rank
@@ Property / cites work @@
+Lazy Rewriting and Context-Sensitive Rewriting
@@ Property / cites work: Lazy Rewriting and Context-Sensitive Rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional term rewriting: An algebraic proof of Toyama's theorem
+Normal rank
@@ Property / cites work @@
+Modularity of completeness revisited
@@ Property / cites work: Modularity of completeness revisited / rank @@
+Normal rank
@@ Property / cites work @@
+On the modularity of normal forms in rewriting
@@ Property / cites work: On the modularity of normal forms in rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+The theory of vaccines
@@ Property / cites work: The theory of vaccines / rank @@
+Normal rank
@@ Property / cites work @@
+Modular aspects of properties of term rewriting systems related to normal forms
+Normal rank
@@ Property / cites work @@
+Q3204048
@@ Property / cites work: Q3204048 / rank @@
+Normal rank
@@ Property / cites work @@
+Modular properties of conditional term rewriting systems
+Normal rank
@@ Property / cites work @@
+Completeness of combinations of conditional constructor systems
+Normal rank
@@ Property / cites work @@
+Simple termination of rewrite systems
@@ Property / cites work: Simple termination of rewrite systems / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability for left-linear growing term rewriting systems.
+Normal rank
@@ Property / cites work @@
+Combinations of simplifying conditional term rewriting systems
+Normal rank
@@ Property / cites work @@
+Modular properties of composable term rewriting systems
+Normal rank
@@ Property / cites work @@
+Q4954455
@@ Property / cites work: Q4954455 / rank @@
+Normal rank
@@ Property / cites work @@
+On the modularity of termination of term rewriting systems
+Normal rank
@@ Property / cites work @@
+Termination is not modular for confluent variable-preserving 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 @@
+Implementing term rewriting by graph reduction: Termination of combined systems
+Normal rank
@@ Property / cites work @@
+Collapsed tree rewriting: Completeness, confluence, and modularity
+Normal rank
@@ Property / cites work @@
+Operational and Semantic Equivalence Between Recursive Programs
+Normal rank
@@ Property / cites work @@
+On termination of the direct sum of term-rewriting systems
+Normal rank
@@ Property / cites work @@
+Termination of Lazy Rewriting Revisited
@@ Property / cites work: Termination of Lazy Rewriting Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Unification in a combination of arbitrary disjoint equational theories
+Normal rank
@@ Property / cites work @@
+Modular termination of \(r\)-consistent and left-linear term rewriting systems
+Normal rank
@@ Property / cites work @@
+Rewriting Techniques and Applications
@@ Property / cites work: Rewriting Techniques and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+On modularity in infinitary term rewriting
@@ Property / cites work: On modularity in infinitary term rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Signature Extensions Preserve Termination
@@ Property / cites work: Signature Extensions Preserve Termination / rank @@
+Normal rank
@@ Property / cites work @@
+Counterexamples to termination for the direct sum of term rewriting systems
+Normal rank
@@ Property / cites work @@
+On the Church-Rosser property for the direct sum of term rewriting systems
+Normal rank
@@ Property / cites work @@
+Q3830525
@@ Property / cites work: Q3830525 / rank @@
+Normal rank
@@ Property / cites work @@
+Term Rewriting and Applications
@@ Property / cites work: Term Rewriting and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Termination for direct sums of left-linear complete term rewriting systems
+Normal rank
@@ Property / cites work @@
+Confluence by decreasing diagrams
@@ Property / cites work: Confluence by decreasing diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Random Descent
@@ Property / cites work: Random Descent / rank @@
+Normal rank
@@ Property / cites work @@
+Confluence by Decreasing Diagrams
@@ Property / cites work: Confluence by Decreasing Diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Modularity of Confluence
@@ Property / cites work: Modularity of Confluence / rank @@
+Normal rank
@@ Property / cites work @@
+Modular Complexity Analysis via Relative Complexity
+Normal rank
@@ Property / cites work @@
+Termination of term rewriting: Interpretation and type elimination
+Normal rank