Characterizing and proving operational termination of deterministic conditional term rewriting systems (Q710679): Difference between revisions

@@ Property / describes a project that uses @@
+Maude
@@ Property / describes a project that uses: Maude / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+AProVE
@@ Property / describes a project that uses: AProVE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MU-TERM
@@ Property / describes a project that uses: MU-TERM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CARIBOO
@@ Property / describes a project that uses: CARIBOO / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+VMTL
@@ Property / describes a project that uses: VMTL / 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.jlap.2009.08.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2150223040
@@ Property / OpenAlex ID: W2150223040 / rank @@
+Normal rank
@@ Property / cites work @@
+Improving Context-Sensitive Dependency Pairs
@@ Property / cites work: Improving Context-Sensitive Dependency Pairs / rank @@
+Normal rank
@@ Property / cites work @@
+Proving Termination of Context-Sensitive Rewriting with MU-TERM
+Normal rank
@@ Property / cites work @@
+Context-Sensitive Dependency Pairs
@@ Property / cites work: Context-Sensitive Dependency Pairs / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of term rewriting using dependency pairs
+Normal rank
@@ Property / cites work @@
+ELAN from a rewriting logic point of view
@@ Property / cites work: ELAN from a rewriting logic point of view / rank @@
+Normal rank
@@ Property / cites work @@
+Q4447224
@@ Property / cites work: Q4447224 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving operational termination of membership equational programs
+Normal rank
@@ Property / cites work @@
+From Outermost to Context-Sensitive Rewriting
@@ Property / cites work: From Outermost to Context-Sensitive Rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Local Termination
@@ Property / cites work: Local Termination / rank @@
+Normal rank
@@ Property / cites work @@
+Termination proofs of well-moded logic programs via conditional rewrite systems
+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 @@
+Transformations of Conditional Rewrite Systems Revisited
+Normal rank
@@ Property / cites work @@
+Q4259966
@@ Property / cites work: Q4259966 / rank @@
+Normal rank
@@ Property / cites work @@
+Improving the Context-sensitive Dependency Graph
@@ Property / cites work: Improving the Context-sensitive Dependency Graph / rank @@
+Normal rank
@@ Property / cites work @@
+Operational termination of conditional term rewriting systems
+Normal rank
@@ Property / cites work @@
+Operational Termination of Membership Equational Programs: the Order-Sorted Way
+Normal rank
@@ Property / cites work @@
+Unravelings and ultra-properties
@@ Property / cites work: Unravelings and ultra-properties / rank @@
+Normal rank
@@ Property / cites work @@
+Transformation for Refining Unraveled Conditional Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Term Rewriting and Applications
@@ Property / cites work: Term Rewriting and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938421
@@ Property / cites work: Q4938421 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2783416
@@ Property / cites work: Q2783416 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Termination Analysis for Logic Programs by Term Rewriting
+Normal rank
@@ Property / cites work @@
+Computationally Equivalent Elimination of Conditions
+Normal rank
@@ Property / cites work @@
+Q4799892
@@ Property / cites work: Q4799892 / rank @@
+Normal rank