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

@@ Property / describes a project that uses @@
+ML
@@ Property / describes a project that uses: ML / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:1194340