Principal abstract families of weighted tree languages (Q2064529): 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.1016/j.ic.2020.104657
+Normal rank
@@ Property / OpenAlex ID @@
+W3100785150
@@ Property / OpenAlex ID: W3100785150 / rank @@
+Normal rank
@@ Property / cites work @@
+Indexed Grammars—An Extension of Context-Free Grammars
+Normal rank
@@ Property / cites work @@
+Nested Stack Automata
@@ Property / cites work: Nested Stack Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted grammars and Kleene's theorem
@@ Property / cites work: Weighted grammars and Kleene's theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic aspects of families of fuzzy languages
@@ Property / cites work: Algebraic aspects of families of fuzzy languages / rank @@
+Normal rank
@@ Property / cites work @@
+Composition of top-down and bottom-up tree transductions
+Normal rank
@@ Property / cites work @@
+Q3859267
@@ Property / cites work: Q3859267 / rank @@
+Normal rank
@@ Property / cites work @@
+Recognizable formal power series on trees
@@ Property / cites work: Recognizable formal power series on trees / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994777
@@ Property / cites work: Q3994777 / rank @@
+Normal rank
@@ Property / cites work @@
+On two families of forests
@@ Property / cites work: On two families of forests / rank @@
+Normal rank
@@ Property / cites work @@
+Tree generating regular systems
@@ Property / cites work: Tree generating regular systems / rank @@
+Normal rank
@@ Property / cites work @@
+The IO- and OI-hierarchies
@@ Property / cites work: The IO- and OI-hierarchies / rank @@
+Normal rank
@@ Property / cites work @@
+Q3948612
@@ Property / cites work: Q3948612 / rank @@
+Normal rank
@@ Property / cites work @@
+An automata-theoretical characterization of the OI-hierarchy
+Normal rank
@@ Property / cites work @@
+Q3933779
@@ Property / cites work: Q3933779 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4266541
@@ Property / cites work: Q4266541 / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted automata with storage
@@ Property / cites work: Weighted automata with storage / rank @@
+Normal rank
@@ Property / cites work @@
+Semirings and Formal Power Series
@@ Property / cites work: Semirings and Formal Power Series / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of weighted automata
@@ Property / cites work: Handbook of weighted automata / rank @@
+Normal rank
@@ Property / cites work @@
+A Kleene theorem for weighted tree automata
@@ Property / cites work: A Kleene theorem for weighted tree automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4079524
@@ Property / cites work: Q4079524 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3857722
@@ Property / cites work: Q3857722 / rank @@
+Normal rank
@@ Property / cites work @@
+Iterated stack automata and complexity classes
@@ Property / cites work: Iterated stack automata and complexity classes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3150247
@@ Property / cites work: Q3150247 / rank @@
+Normal rank
@@ Property / cites work @@
+IO and OI. I
@@ Property / cites work: IO and OI. I / rank @@
+Normal rank
@@ Property / cites work @@
+IO and OI. II
@@ Property / cites work: IO and OI. II / rank @@
+Normal rank
@@ Property / cites work @@
+Stack Machines and Classes of Nonnested Macro Languages
+Normal rank
@@ Property / cites work @@
+Pushdown machines for the macro tree transducer
@@ Property / cites work: Pushdown machines for the macro tree transducer / rank @@
+Normal rank
@@ Property / cites work @@
+High level tree transducers and iterated pushdown tree transducers
+Normal rank
@@ Property / cites work @@
+Q4449537
@@ Property / cites work: Q4449537 / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy tree automata
@@ Property / cites work: Fuzzy tree automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4560250
@@ Property / cites work: Q4560250 / rank @@
+Normal rank
@@ Property / cites work @@
+A Kleene theorem for weighted tree automata over distributive multioperator monoids
+Normal rank
@@ Property / cites work @@
+Q2882382
@@ Property / cites work: Q2882382 / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted Tree Automata and Tree Transducers
@@ Property / cites work: Weighted Tree Automata and Tree Transducers / rank @@
+Normal rank
@@ Property / cites work @@
+Rational weighted tree languages with storage and the Kleene-Goldstine theorem
+Normal rank
@@ Property / cites work @@
+Q4089754
@@ Property / cites work: Q4089754 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4066625
@@ Property / cites work: Q4066625 / rank @@
+Normal rank
@@ Property / cites work @@
+Principal AFL
@@ Property / cites work: Principal AFL / rank @@
+Normal rank
@@ Property / cites work @@
+Studies in abstract families of languages
@@ Property / cites work: Studies in abstract families of languages / rank @@
+Normal rank
@@ Property / cites work @@
+One-way stack automata
@@ Property / cites work: One-way stack automata / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to Boolean Algebras
@@ Property / cites work: Introduction to Boolean Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4700998
@@ Property / cites work: Q4700998 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3051402
@@ Property / cites work: Q3051402 / rank @@
+Normal rank
@@ Property / cites work @@
+Full AFLs and nested iterated substitution
@@ Property / cites work: Full AFLs and nested iterated substitution / rank @@
+Normal rank
@@ Property / cites work @@
+Q4229053
@@ Property / cites work: Q4229053 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4062662
@@ Property / cites work: Q4062662 / rank @@
+Normal rank
@@ Property / cites work @@
+A Chomsky-Schützenberger Theorem for Weighted Automata with Storage
+Normal rank
@@ Property / cites work @@
+Proof of correctness of data representations
@@ Property / cites work: Proof of correctness of data representations / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Languages and Groups as Memory
@@ Property / cites work: Formal Languages and Groups as Memory / rank @@
+Normal rank
@@ Property / cites work @@
+The algebraic equivalent of AFL theory
@@ Property / cites work: The algebraic equivalent of AFL theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4714446
@@ Property / cites work: Q4714446 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4941155
@@ Property / cites work: Q4941155 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3704880
@@ Property / cites work: Q3704880 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3644388
@@ Property / cites work: Q3644388 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4155837
@@ Property / cites work: Q4155837 / rank @@
+Normal rank
@@ Property / cites work @@
+On the definition of a family of automata
@@ Property / cites work: On the definition of a family of automata / rank @@
+Normal rank
@@ Property / cites work @@
+Some definitional suggestions for automata theory
@@ Property / cites work: Some definitional suggestions for automata theory / rank @@
+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 Weighted MSO Logic with Storage Behaviour and Its Büchi-Elgot-Trakhtenbrot Theorem
+Normal rank
@@ Property / cites work @@
+Q4061986
@@ Property / cites work: Q4061986 / rank @@
+Normal rank