On the expressivity of feature logics with negation, functional uncertainty, and sort equations (Q1314281): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012241
@@ Property / cites work: Q4012241 / rank @@
+Normal rank
@@ Property / cites work @@
+A modal perspective on the computational complexity of attribute value grammar
+Normal rank
@@ Property / cites work @@
+The word problem
@@ Property / cites work: The word problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012244
@@ Property / cites work: Q4012244 / rank @@
+Normal rank
@@ Property / cites work @@
+Attributive concept descriptions with complements
@@ Property / cites work: Attributive concept descriptions with complements / rank @@
+Normal rank
@@ Property / cites work @@
+Feature-constraint logics for unification grammars
+Normal rank
@@ Property / cites work @@
+The word problem and the isomorphism problem for groups
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf01051766
+Normal rank
@@ Property / OpenAlex ID @@
+W4255010769
@@ Property / OpenAlex ID: W4255010769 / rank @@
+Normal rank