Termination of narrowing revisited (Q1035697): Difference between revisions

@@ Property / cites work @@
+Abstract Diagnosis of Functional Programs
@@ Property / cites work: Abstract Diagnosis of Functional Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Declarative Debugging of Functional Logic Programs1 1This work has been partially supported by CICYT under grant TIC2001-2705-C03-01, by Accóon Integrada Hispano-Italiana HI2000-0161 and by Generalitat Valenciana under grant GV01-424.
+Normal rank
@@ Property / cites work @@
+Modular termination of basic narrowing and equational unification
+Normal rank
@@ Property / cites work @@
+Q4287469
@@ Property / cites work: Q4287469 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4858579
@@ Property / cites work: Q4858579 / rank @@
+Normal rank
@@ Property / cites work @@
+Incremental constraint satisfaction for equational logic programming
+Normal rank
@@ Property / cites work @@
+Analyses of unsatisfiability for equational logic programming
+Normal rank
@@ Property / cites work @@
+Termination of term rewriting using dependency pairs
+Normal rank
@@ Property / cites work @@
+Narrowing directed by a graph of terms
@@ Property / cites work: Narrowing directed by a graph of terms / 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 @@
+Syntacticness, cycle-syntacticness and shallow theories
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Termination of rewriting
@@ Property / cites work: Termination of rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+A rewriting-based inference system for the NRL protocol analyzer and its meta-logical properties
+Normal rank
@@ Property / cites work @@
+Symbolic Model Checking of Infinite-State Systems Using Narrowing
+Normal rank
@@ Property / cites work @@
+The integration of functions into logic programming: From theory to practice
+Normal rank
@@ Property / cites work @@
+Foundations of equational logic programming
@@ Property / cites work: Foundations of equational logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3883561
@@ Property / cites work: Q3883561 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols
+Normal rank
@@ Property / cites work @@
+Completeness results for basic narrowing
@@ Property / cites work: Completeness results for basic narrowing / rank @@
+Normal rank
@@ Property / cites work @@
+Q2783416
@@ Property / cites work: Q2783416 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414308
@@ Property / cites work: Q4414308 / rank @@
+Normal rank
@@ Property / cites work @@
+On modularity in term rewriting and narrowing
@@ Property / cites work: On modularity in term rewriting and narrowing / rank @@
+Normal rank
@@ Property / cites work @@
+Q3779784
@@ Property / cites work: Q3779784 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3811748
@@ Property / cites work: Q3811748 / rank @@
+Normal rank
@@ Property / cites work @@
+Unification theory
@@ Property / cites work: Unification theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4799892
@@ Property / cites work: Q4799892 / rank @@
+Normal rank
@@ Property / cites work @@
+Counterexamples to termination for the direct sum of term rewriting systems
+Normal rank