On subsumption and semiunification in feature algebras (Q1194340): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q5848908
@@ Property / cites work: Q5848908 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4287474
@@ Property / cites work: Q4287474 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992554
@@ Property / cites work: Q3992554 / rank @@
+Normal rank
@@ Property / cites work @@
+The Principal Type-Scheme of an Object in Combinatory Logic
+Normal rank
@@ Property / cites work @@
+The word problem for cancellation semigroups with zero
+Normal rank
@@ Property / cites work @@
+Q3204025
@@ Property / cites work: Q3204025 / rank @@
+Normal rank
@@ Property / cites work @@
+The undecidability of the semi-unification problem
+Normal rank
@@ Property / cites work @@
+Q3811682
@@ Property / cites work: Q3811682 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of type polymorphism in programming
@@ Property / cites work: A theory of type polymorphism in programming / rank @@
+Normal rank
@@ Property / cites work @@
+The implication problem for functional and inclusion dependencies
+Normal rank
@@ Property / cites work @@
+Recursive unsolvability of group theoretic problems
+Normal rank
@@ Property / cites work @@
+Q3493318
@@ Property / cites work: Q3493318 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992707
@@ Property / cites work: Q3992707 / rank @@
+Normal rank
@@ Property / cites work @@
+Unsolvability of the universal theory of finite groups
+Normal rank
@@ Property / cites work @@
+Feature-constraint logics for unification grammars
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0747-7171(08)80107-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2104295731
@@ Property / OpenAlex ID: W2104295731 / rank @@
+Normal rank