Incremental constraint satisfaction for equational logic programming (Q1367535): Difference between revisions

@@ Property / Wikidata QID @@
+Q57978312
@@ Property / Wikidata QID: Q57978312 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+BABEL
@@ Property / describes a project that uses: BABEL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Kernel-LEAF
@@ Property / describes a project that uses: Kernel-LEAF / rank @@
+Normal rank
@@ 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.1016/0304-3975(94)00224-7
+Normal rank
@@ Property / OpenAlex ID @@
+W1985929555
@@ Property / OpenAlex ID: W1985929555 / rank @@
+Normal rank
@@ Property / cites work @@
+Login: a logic programming language with built-in inheritance
+Normal rank
@@ Property / cites work @@
+Q4287469
@@ Property / cites work: Q4287469 / rank @@
+Normal rank
@@ Property / cites work @@
+The relation between logic and functional languages: a survey
+Normal rank
@@ Property / cites work @@
+Conditional rewrite rules: Confluence and termination
+Normal rank
@@ Property / cites work @@
+Q3771660
@@ Property / cites work: Q3771660 / rank @@
+Normal rank
@@ Property / cites work @@
+Narrowing vs. SLD-resolution
@@ Property / cites work: Narrowing vs. SLD-resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Q3818292
@@ Property / cites work: Q3818292 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+A rationale for conditional equational programming
+Normal rank
@@ Property / cites work @@
+Extended unification algorithms for the integration of functional programming into logic programming
+Normal rank
@@ Property / cites work @@
+Q3789062
@@ Property / cites work: Q3789062 / rank @@
+Normal rank
@@ Property / cites work @@
+Horn equational theories and paramodulation
@@ Property / cites work: Horn equational theories and paramodulation / rank @@
+Normal rank
@@ Property / cites work @@
+Extending SLD resolution to equational horn clauses using E-unification
+Normal rank
@@ Property / cites work @@
+Q3782762
@@ Property / cites work: Q3782762 / rank @@
+Normal rank
@@ Property / cites work @@
+Kernel-LEAF: A logic plus functional language
@@ Property / cites work: Kernel-LEAF: A logic plus functional language / rank @@
+Normal rank
@@ Property / cites work @@
+Q3789061
@@ Property / cites work: Q3789061 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3716279
@@ Property / cites work: Q3716279 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4287483
@@ Property / cites work: Q4287483 / 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 @@
+Conditional equational theories and complete sets of transformations
+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 @@
+Q4391452
@@ Property / cites work: Q4391452 / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional rewrite rules
@@ Property / cites work: Conditional rewrite rules / rank @@
+Normal rank
@@ Property / cites work @@
+Q3709891
@@ Property / cites work: Q3709891 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023825
@@ Property / cites work: Q4023825 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3789064
@@ Property / cites work: Q3789064 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3339245
@@ Property / cites work: Q3339245 / 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 @@
+Q3490935
@@ Property / cites work: Q3490935 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programming with functions and predicates: The language Babel
+Normal rank
@@ Property / cites work @@
+Basic narrowing revisited
@@ Property / cites work: Basic narrowing revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040341
@@ Property / cites work: Q4040341 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3338215
@@ Property / cites work: Q3338215 / rank @@
+Normal rank
@@ Property / cites work @@
+Unification theory
@@ Property / cites work: Unification theory / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programming with equations
@@ Property / cites work: Logic programming with equations / rank @@
+Normal rank
@@ Property / cites work @@
+Q3740274
@@ Property / cites work: Q3740274 / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+journals/tcs/AlpuenteFL95
@@ Property / DBLP publication ID: journals/tcs/AlpuenteFL95 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1367535