Logicality of conditional rewrite systems (Q1978646): Difference between revisions

@@ Property / cites work @@
+Conditional rewrite rules: Confluence and termination
+Normal rank
@@ Property / cites work @@
+Completion-time optimization of rewrite-time goal solving
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Open problems in rewriting
@@ Property / cites work: Open problems in rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+A rationale for conditional equational programming
+Normal rank
@@ Property / cites work @@
+Q3819993
@@ Property / cites work: Q3819993 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination proofs of well-moded logic programs via conditional rewrite systems
+Normal rank
@@ Property / cites work @@
+Q3789061
@@ Property / cites work: Q3789061 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4259965
@@ Property / cites work: Q4259965 / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional rewrite rules
@@ Property / cites work: Conditional rewrite rules / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023825
@@ Property / cites work: Q4023825 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness results for basic narrowing
@@ Property / cites work: Completeness results for basic narrowing / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023900
@@ Property / cites work: Q4023900 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness of calculii for axiomatically defined classes of algebras
+Normal rank
@@ Property / cites work @@
+Q4705614
@@ Property / cites work: Q4705614 / rank @@
+Normal rank