Basic narrowing revisited (Q1824412): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3771660
@@ Property / cites work: Q3771660 / 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 @@
+Q3765265
@@ Property / cites work: Q3765265 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3783622
@@ Property / cites work: Q3783622 / rank @@
+Normal rank
@@ Property / cites work @@
+Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Q3883561
@@ Property / cites work: Q3883561 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3703312
@@ Property / cites work: Q3703312 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3709891
@@ Property / cites work: Q3709891 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3339245
@@ Property / cites work: Q3339245 / 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 @@
+Q5624683
@@ Property / cites work: Q5624683 / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity
+Normal rank
@@ Property / cites work @@
+A class of confluent term rewriting systems and unification
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1824412