Feature automata and recognizable sets of feature trees (Q5044748): 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.1007/3-540-56610-4_76
+Normal rank
@@ Property / OpenAlex ID @@
+W1573343649
@@ Property / OpenAlex ID: W1573343649 / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic semantics approach to the effective resolution of type equations
+Normal rank
@@ Property / cites work @@
+Q4287474
@@ Property / cites work: Q4287474 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5688930
@@ Property / cites work: Q5688930 / 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 @@
+The monadic second-order logic of graphs. I: Recognizable sets of finite graphs
+Normal rank
@@ Property / cites work @@
+Q4273663
@@ Property / cites work: Q4273663 / rank @@
+Normal rank
@@ Property / cites work @@
+Tree acceptors and some of their applications
@@ Property / cites work: Tree acceptors and some of their applications / rank @@
+Normal rank
@@ Property / cites work @@
+Q4079524
@@ Property / cites work: Q4079524 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3323279
@@ Property / cites work: Q3323279 / rank @@
+Normal rank
@@ Property / cites work @@
+Feature-constraint logics for unification grammars
+Normal rank
@@ Property / cites work @@
+Generalized finite automata theory with an application to a decision problem of second-order logic
+Normal rank
@@ Property / cites work @@
+A new method for undecidability proofs of first order theories
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5044748