A feature constraint system for logic programming with entailment (Q1314426): 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.1016/0304-3975(94)90209-7
+Normal rank
@@ Property / OpenAlex ID @@
+W1900652794
@@ Property / OpenAlex ID: W1900652794 / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic semantics approach to the effective resolution of type equations
+Normal rank
@@ Property / cites work @@
+Login: a logic programming language with built-in inheritance
+Normal rank
@@ Property / cites work @@
+Q4287474
@@ Property / cites work: Q4287474 / rank @@
+Normal rank
@@ Property / cites work @@
+The Logic of Typed Feature Structures
@@ Property / cites work: The Logic of Typed Feature Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q3789064
@@ Property / cites work: Q3789064 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5610821
@@ Property / cites work: Q5610821 / rank @@
+Normal rank
@@ Property / cites work @@
+Feature-constraint logics for unification grammars
+Normal rank
@@ Property / cites work @@
+Inheritance hierarchies: Semantics and unifications
+Normal rank