Tree Automata over Infinite Alphabets (Q5452188): 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/978-3-540-78127-1_21
+Normal rank
@@ Property / OpenAlex ID @@
+W1569718229
@@ Property / OpenAlex ID: W1569718229 / rank @@
+Normal rank
@@ Property / cites work @@
+A formal model for an expressive fragment of XSLT
@@ Property / cites work: A formal model for an expressive fragment of XSLT / rank @@
+Normal rank
@@ Property / cites work @@
+Context-free languages over infinite alphabets
@@ Property / cites work: Context-free languages over infinite alphabets / 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 @@
+Finite-memory automata
@@ Property / cites work: Finite-memory automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q5472919
@@ Property / cites work: Q5472919 / rank @@
+Normal rank
@@ Property / cites work @@
+Typechecking for XML transformers
@@ Property / cites work: Typechecking for XML transformers / rank @@
+Normal rank
@@ Property / cites work @@
+Q4779173
@@ Property / cites work: Q4779173 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411812
@@ Property / cites work: Q4411812 / rank @@
+Normal rank
@@ Property / cites work @@
+Query automata over finite trees
@@ Property / cites work: Query automata over finite trees / rank @@
+Normal rank
@@ Property / cites work @@
+Finite state machines for strings over infinite alphabets
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ Property / cites work @@
+Q2740525
@@ Property / cites work: Q2740525 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized finite automata theory with an application to a decision problem of second-order logic
+Normal rank