The 2D dependency pair framework for conditional rewrite systems. I: Definition and basic processors (Q1635507): Difference between revisions

@@ Property / cites work @@
+Termination of term rewriting using dependency pairs
+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 @@
+Conditional rewrite rules: Confluence and termination
+Normal rank
@@ Property / cites work @@
+Q4223001
@@ Property / cites work: Q4223001 / rank @@
+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 @@
+A rationale for conditional equational programming
+Normal rank
@@ Property / cites work @@
+Q2715825
@@ Property / cites work: Q2715825 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of Erlang processes by dependency pairs
+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 @@
+Conditional rewrite rules
@@ Property / cites work: Conditional rewrite rules / rank @@
+Normal rank
@@ Property / cites work @@
+Semi-unification
@@ Property / cites work: Semi-unification / rank @@
+Normal rank
@@ Property / cites work @@
+Q2980968
@@ Property / cites work: Q2980968 / rank @@
+Normal rank
@@ Property / cites work @@
+Analysis of rewriting-based systems as first-order theories
+Normal rank
@@ Property / cites work @@
+Automatic synthesis of logical models for order-sorted first-order theories
+Normal rank
@@ Property / cites work @@
+Use of logical models for proving infeasibility in term rewriting
+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 @@
+Dependency pairs for proving termination properties of conditional term rewriting systems
+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 @@
+Q2783416
@@ Property / cites work: Q2783416 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of Formal Systems. (AM-47)
@@ Property / cites work: Theory of Formal Systems. (AM-47) / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional Confluence (System Description)
@@ Property / cites work: Conditional Confluence (System Description) / rank @@
+Normal rank