How to win a game with features (Q1271569): Difference between revisions

@@ Property / OpenAlex ID @@
+W2177567396
@@ Property / OpenAlex ID: W2177567396 / rank @@
+Normal rank
@@ Property / cites work @@
+A feature constraint system for logic programming with entailment
+Normal rank
@@ Property / cites work @@
+A complete and recursive feature theory
@@ Property / cites work: A complete and recursive feature theory / rank @@
+Normal rank
@@ Property / cites work @@
+A complete axiomatization of a theory with feature and arity constraints
+Normal rank
@@ Property / cites work @@
+Equational formulae with membership constraints
@@ Property / cites work: Equational formulae with membership constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Equational problems and disunification
@@ Property / cites work: Equational problems and disunification / rank @@
+Normal rank
@@ Property / cites work @@
+The first-order theory of lexicographic path orderings is undecidable
+Normal rank
@@ Property / cites work @@
+Fundamental properties of infinite trees
@@ Property / cites work: Fundamental properties of infinite trees / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+An application of games to the completeness problem for formalized theories
+Normal rank
@@ Property / cites work @@
+Q3220545
@@ Property / cites work: Q3220545 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003410
@@ Property / cites work: Q4003410 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023900
@@ Property / cites work: Q4023900 / rank @@
+Normal rank
@@ Property / cites work @@
+An Efficient Unification Algorithm
@@ Property / cites work: An Efficient Unification Algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Q5534205
@@ Property / cites work: Q5534205 / rank @@
+Normal rank
@@ Property / cites work @@
+Records for logic programming
@@ Property / cites work: Records for logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Feature-constraint logics for unification grammars
+Normal rank