Dependency pairs for proving termination properties of conditional term rewriting systems (Q347382): 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 @@
+Tyrolean
@@ Property / describes a project that uses: Tyrolean / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MTT
@@ Property / describes a project that uses: MTT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+VMTL
@@ Property / describes a project that uses: VMTL / 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 @@
+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.jlamp.2016.03.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2333572417
@@ Property / OpenAlex ID: W2333572417 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of term rewriting using dependency pairs
+Normal rank
@@ Property / cites work @@
+Context-sensitive dependency pairs
@@ Property / cites work: Context-sensitive dependency pairs / rank @@
+Normal rank
@@ Property / cites work @@
+Proving Termination Properties with mu-term
@@ Property / cites work: Proving Termination Properties with mu-term / rank @@
+Normal rank
@@ Property / cites work @@
+A Dependency Pair Framework for A ∨ C-Termination
+Normal rank
@@ Property / cites work @@
+Conditional rewrite rules: Confluence and termination
+Normal rank
@@ Property / cites work @@
+IThe 2nd international workshop on rewriting logic and its applications, RWLW.. Abbaye des Prèmontrès at Pont-á-Mousson, France, September 1998
+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 @@
+A rationale for conditional equational programming
+Normal rank
@@ Property / cites work @@
+MTT: The Maude Termination Tool (System Description)
+Normal rank
@@ Property / cites work @@
+Proving operational termination of membership equational programs
+Normal rank
@@ Property / cites work @@
+Q2715825
@@ Property / cites work: Q2715825 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic for Programming, Artificial Intelligence, and Reasoning
+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 @@
+Tyrolean termination tool: techniques and features
+Normal rank
@@ Property / cites work @@
+Conditional rewrite rules
@@ Property / cites work: Conditional rewrite rules / rank @@
+Normal rank
@@ Property / cites work @@
+Q4259966
@@ Property / cites work: Q4259966 / rank @@
+Normal rank
@@ Property / cites work @@
+Operational termination of conditional term rewriting systems
+Normal rank
@@ Property / cites work @@
+D Dependency Pairs for Proving Operational Termination of CTRSs
+Normal rank
@@ Property / cites work @@
+Normal forms and normal theories in conditional rewriting
+Normal rank
@@ Property / cites work @@
+Extending the 2D Dependency Pair Framework for Conditional Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Unravelings and ultra-properties
@@ Property / cites work: Unravelings and ultra-properties / rank @@
+Normal rank
@@ Property / cites work @@
+Q3032225
@@ Property / cites work: Q3032225 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3839051
@@ Property / cites work: Q3839051 / rank @@
+Normal rank
@@ Property / cites work @@
+Soundness of Unravelings for Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity
+Normal rank
@@ Property / cites work @@
+Q2783416
@@ Property / cites work: Q2783416 / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizing and proving operational termination of deterministic conditional term rewriting systems
+Normal rank
@@ Property / cites work @@
+Computationally Equivalent Elimination of Conditions
+Normal rank
@@ Property / cites work @@
+Signature Extensions Preserve Termination
@@ Property / cites work: Signature Extensions Preserve Termination / rank @@
+Normal rank
@@ Property / cites work @@
+Q4799892
@@ Property / cites work: Q4799892 / rank @@
+Normal rank