Enumerating outer narrowing derivations for constructor-based term rewriting systems (Q1124376): Difference between revisions

@@ Property / cites work @@
+Q3779785
@@ Property / cites work: Q3779785 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing with rewrite systems
@@ Property / cites work: Computing with rewrite systems / rank @@
+Normal rank
@@ Property / cites work @@
+Extended unification algorithms for the integration of functional programming into logic programming
+Normal rank
@@ Property / cites work @@
+Q3335752
@@ Property / cites work: Q3335752 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3782762
@@ Property / cites work: Q3782762 / rank @@
+Normal rank
@@ Property / cites work @@
+Equality, types, modules, and (why not?) generics for logic programming
+Normal rank
@@ Property / cites work @@
+Q3883561
@@ Property / cites work: Q3883561 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3664457
@@ Property / cites work: Q3664457 / rank @@
+Normal rank
@@ Property / cites work @@
+An Efficient Unification Algorithm
@@ Property / cites work: An Efficient Unification Algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Basic narrowing revisited
@@ Property / cites work: Basic narrowing revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Computing in systems described by equations
@@ Property / cites work: Computing in systems described by equations / rank @@
+Normal rank
@@ Property / cites work @@
+Q3776590
@@ Property / cites work: Q3776590 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5678447
@@ Property / cites work: Q5678447 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3696486
@@ Property / cites work: Q3696486 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3779784
@@ Property / cites work: Q3779784 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3707399
@@ Property / cites work: Q3707399 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity
+Normal rank
@@ Property / cites work @@
+Q3716279
@@ Property / cites work: Q3716279 / rank @@
+Normal rank
@@ Property / cites work @@
+A class of confluent term rewriting systems and unification
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0747-7171(89)80015-x
+Normal rank
@@ Property / OpenAlex ID @@
+W1986964021
@@ Property / OpenAlex ID: W1986964021 / rank @@
+Normal rank