On narrowing, refutation proofs and constraints (Q5055818): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-59200-8_47
+Normal rank
@@ Property / OpenAlex ID @@
+W1576882193
@@ Property / OpenAlex ID: W1576882193 / rank @@
+Normal rank
@@ Property / cites work @@
+Completion of first-order clauses with equality by strict superposition
+Normal rank
@@ Property / cites work @@
+Rewrite-based Equational Theorem Proving with Selection and Simplification
+Normal rank
@@ Property / cites work @@
+Q4264723
@@ Property / cites work: Q4264723 / rank @@
+Normal rank
@@ Property / cites work @@
+Narrowing vs. SLD-resolution
@@ Property / cites work: Narrowing vs. SLD-resolution / rank @@
+Normal rank
@@ Property / cites work @@
+An optimal narrowing strategy for general canonical systems
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+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 @@
+Q4264721
@@ Property / cites work: Q4264721 / rank @@
+Normal rank
@@ Property / cites work @@
+AC-superposition with constraints: No AC-unifiers needed
+Normal rank
@@ Property / cites work @@
+Basic narrowing revisited
@@ Property / cites work: Basic narrowing revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Q3696486
@@ Property / cites work: Q3696486 / rank @@
+Normal rank
@@ Property / cites work @@
+A precedence-based total AC-compatible ordering
@@ Property / cites work: A precedence-based total AC-compatible ordering / rank @@
+Normal rank
@@ Property / cites work @@
+Associative-commutative deduction with constraints
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5055818