Pages that link to "Item:Q1164440"

The following pages link to Recognizable formal power series on trees (Q1164440):

Displaying 50 items.

• Equational tree transformations (Q551198) (← links)
• Hasse diagrams for classes of deterministic bottom-up tree-to-tree-series transformations (Q557898) (← links)
• Varieties of recognizable tree series over fields (Q627171) (← links)
• A Büchi-like theorem for weighted tree automata over multioperator monoids (Q692910) (← links)
• Branching automata with costs -- a way of reflecting parallelism in costs (Q703495) (← links)
• Constructions effectives sur les séries formelles d'arbres. (Effective constructions on formal tree series) (Q751831) (← links)
• MAT learners for tree series: an abstract data type and two realizations (Q766165) (← links)
• Equational weighted tree transformations (Q766185) (← links)
• The rank of a formal tree power series (Q792763) (← links)
• Weighted tree automata and weighted logics (Q860890) (← links)
• Compositions of tree series transformations (Q860891) (← links)
• Effective construction of the syntactic algebra of a recognizable series on trees (Q911788) (← links)
• Weighted monadic Datalog (Q944376) (← links)
• R-fuzzy computation (Q1072368) (← links)
• Weighted grammars and Kleene's theorem (Q1090465) (← links)
• Automatic average-case analysis of algorithms (Q1174718) (← links)
• Recognizable formal series on trees and cofree coalgebraic systems (Q1295934) (← links)
• The theory of compositionals (Q1313850) (← links)
• On two families of forests (Q1323385) (← links)
• Stochastically costed tree automata: Turakainen's theorem (Q1351787) (← links)
• Positive tree representations and applications to tree automata (Q1383144) (← links)
• On Lindenmayerian algebraic power series (Q1391140) (← links)
• Characterizations of recognizable weighted tree languages by logic and bimorphisms (Q1797776) (← links)
• Hierarchies of tree series transformations (Q1826640) (← links)
• Pushdown tree automata, algebraic tree systems, and algebraic tree series (Q1854412) (← links)
• Context-free series on trees (Q1854452) (← links)
• Colored operads, series on colored operads, and combinatorial generating systems (Q1999730) (← links)
• Finite sequentiality of unambiguous max-plus tree automata (Q2048206) (← links)
• Approximate minimization of weighted tree automata (Q2064525) (← links)
• Principal abstract families of weighted tree languages (Q2064529) (← links)
• Revisiting regular sequences in light of rational base numeration systems (Q2065907) (← links)
• Weighted automata (Q2074206) (← links)
• Ambiguity hierarchies for weighted tree automata (Q2117674) (← links)
• Finite-image property of weighted tree automata over past-finite monotonic strong bimonoids (Q2136289) (← links)
• A Kleene theorem for weighted tree automata over distributive multioperator monoids (Q2272217) (← links)
• A Kleene theorem for weighted tree automata over tree valuation monoids (Q2280327) (← links)
• Characterizing weighted MSO for trees by branching transitive closure logics (Q2355685) (← links)
• Survey: finite-state technology in natural language processing (Q2357102) (← links)
• Fuzzy tree automata (Q2372277) (← links)
• Recognizable series on graphs and hypergraphs (Q2424675) (← links)
• Weighted logics for unranked tree automata (Q2429720) (← links)
• Cut sets as recognizable tree languages (Q2493984) (← links)
• On Finite and Polynomial Ambiguity of Weighted Tree Automata (Q2817402) (← links)
• Unique, guarded fixed points in an additive setting (Q2842814) (← links)
• Minimisation of Multiplicity Tree Automata (Q2949446) (← links)
• Représentations matricielles des séries d'arbre reconnaissables (Q3031948) (← links)
• Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics (Q3098032) (← links)
• Kleene Theorem in Partial Conway Theories with Applications (Q3098034) (← links)
• Equational Weighted Tree Transformations with Discounting (Q3098036) (← links)
• Survey: Weighted Extended Top-Down Tree Transducers Part III — Composition (Q3098043) (← links)