The following pages link to (Q4449537):
Displaying 35 items.
- Hasse diagrams for classes of deterministic bottom-up tree-to-tree-series transformations (Q557898) (← links)
- Continuous monoids and semirings (Q596031) (← links)
- Varieties of recognizable tree series over fields (Q627171) (← links)
- A Büchi-like theorem for weighted tree automata over multioperator monoids (Q692910) (← links)
- Equational weighted tree transformations (Q766185) (← links)
- A note on cut-worthiness of recognizable tree series (Q835283) (← links)
- Definable transductions and weighted logics for texts (Q844894) (← links)
- Weighted tree automata and weighted logics (Q860890) (← links)
- Schützenberger's theorem on formal power series follows from Kleene's theorem (Q935170) (← links)
- Weighted monadic Datalog (Q944376) (← links)
- A coinductive calculus of binary trees (Q964505) (← links)
- A Mezei-Wright theorem for categorical algebras (Q1044831) (← 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)
- Characterization of tree automata based on quantum logic (Q2113952) (← links)
- Finite-image property of weighted tree automata over past-finite monotonic strong bimonoids (Q2136289) (← links)
- Weighted tree automata with constraints (Q2164002) (← 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)
- Fuzzy tree automata (Q2372277) (← links)
- Cut sets as recognizable tree languages (Q2493984) (← 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)
- Algebraic Systems and Pushdown Automata (Q3098041) (← links)
- Survey: Weighted Extended Top-Down Tree Transducers Part III — Composition (Q3098043) (← links)
- Learning Rational Stochastic Tree Languages (Q3520063) (← links)
- State hyperstructures of tree automata based on lattice-valued logic (Q4553830) (← links)
- Crisp-determinization of weighted tree automata over strong bimonoids (Q5038197) (← links)
- Multi-Linear Iterative K-Σ-Semialgebras (Q5739356) (← links)
- Weighted tree automata with constraints (Q6151146) (← links)
- A Comparison of Sets of Recognizable Weighted Tree Languages Over Specific Sets of Bounded Lattices (Q6154974) (← links)
- Finite sequentiality of finitely ambiguous max-plus tree automata (Q6614608) (← links)
- Rational weighted tree languages with storage (Q6647747) (← links)
