Context-sensitive dependency pairs (Q989290): Difference between revisions

@@ Property / describes a project that uses @@
+VMTL
@@ Property / describes a project that uses: VMTL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Jambox
@@ Property / describes a project that uses: Jambox / 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 @@
+Maude
@@ Property / describes a project that uses: Maude / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CLEAN
@@ Property / describes a project that uses: CLEAN / 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.ic.2010.03.003
+Normal rank
@@ Property / OpenAlex ID @@
+W1978256848
@@ Property / OpenAlex ID: W1978256848 / 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 @@
+Improving the Context-sensitive Dependency Graph
@@ Property / cites work: Improving the Context-sensitive Dependency Graph / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of Innermost Context-Sensitive Rewriting Using Dependency Pairs
+Normal rank
@@ Property / cites work @@
+On-demand strategy annotations revisited: an improved on-demand evaluation strategy
+Normal rank
@@ Property / cites work @@
+Proving innermost normalisation automatically
@@ Property / cites work: Proving innermost normalisation automatically / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of term rewriting using dependency pairs
+Normal rank
@@ Property / cites work @@
+Q4809069
@@ Property / cites work: Q4809069 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantic foundations for generalized rewrite theories
+Normal rank
@@ Property / cites work @@
+All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / 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 @@
+Matrix interpretations for proving termination of term rewriting
+Normal rank
@@ Property / cites work @@
+Relaxing monotonicity for innermost termination
@@ Property / cites work: Relaxing monotonicity for innermost termination / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938610
@@ Property / cites work: Q4938610 / rank @@
+Normal rank
@@ Property / cites work @@
+Modular termination proofs for rewriting using dependency pairs
+Normal rank
@@ Property / cites work @@
+Usable Rules for Context-Sensitive Rewrite Systems
+Normal rank
@@ Property / cites work @@
+Transformation techniques for context-sensitive rewrite systems
+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 @@
+Rewriting Techniques and Applications
@@ Property / cites work: Rewriting Techniques and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Automating the dependency pair method
@@ Property / cites work: Automating the dependency pair method / 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 @@
+Q4818829
@@ Property / cites work: Q4818829 / 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 @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Polynomials over the reals in proofs of termination : from theory to practice
+Normal rank
@@ Property / cites work @@
+Proving termination of context-sensitive rewriting by transformation
+Normal rank
@@ Property / cites work @@
+Operational Termination of Membership Equational Programs: the Order-Sorted Way
+Normal rank
@@ Property / cites work @@
+Recursive functions of symbolic expressions and their computation by machine, Part I
+Normal rank
@@ Property / cites work @@
+Q4539643
@@ Property / cites work: Q4539643 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2843601
@@ Property / cites work: Q2843601 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2783416
@@ Property / cites work: Q2783416 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of Lazy Rewriting Revisited
@@ Property / cites work: Termination of Lazy Rewriting Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of context-sensitive rewriting
@@ Property / cites work: Termination of context-sensitive rewriting / rank @@
+Normal rank