Pages that link to "Item:Q1277364"
From MaRDI portal
The following pages link to Equational elements in additive algebras (Q1277364):
Displaying 30 items.
- Equational tree transformations (Q551198) (← links)
- Hasse diagrams for classes of deterministic bottom-up tree-to-tree-series transformations (Q557898) (← links)
- Continuous monoids and semirings (Q596031) (← links)
- Equational weighted tree transformations (Q766185) (← links)
- Equational definability of addition in certain noncommutative rings (Q799783) (← links)
- Weighted tree automata and weighted logics (Q860890) (← links)
- Compositions of tree series transformations (Q860891) (← links)
- Convergence of Newton's method over commutative semirings (Q899320) (← links)
- Schützenberger's theorem on formal power series follows from Kleene's theorem (Q935170) (← links)
- Weighted monadic Datalog (Q944376) (← links)
- Minimizing deterministic weighted tree automata (Q1041045) (← links)
- A Mezei-Wright theorem for categorical algebras (Q1044831) (← links)
- Hierarchies of tree series transformations (Q1826640) (← links)
- On axioms for commutative regular equations without addition. (Q1853544) (← links)
- Context-free series on trees (Q1854452) (← links)
- Fuzzy tree language recognizability (Q2270250) (← links)
- A Kleene theorem for weighted tree automata over distributive multioperator monoids (Q2272217) (← links)
- Fuzzy tree automata (Q2372277) (← links)
- Equational Weighted Tree Transformations with Discounting (Q3098036) (← links)
- BOOLEAN FUZZY SETS (Q3401466) (← links)
- PURE AND O-SUBSTITUTION (Q3503097) (← links)
- Minimizing Deterministic Weighted Tree Automata (Q3540127) (← links)
- Tree-Series-to-Tree-Series Transformations (Q3602808) (← links)
- DECOMPOSITION OF WEIGHTED MULTIOPERATOR TREE AUTOMATA (Q3634180) (← links)
- A Fully Equational Proof of Parikh's Theorem (Q4787831) (← links)
- From Tree Automata to Rational Tree Expressions (Q4963267) (← links)
- Myhill-Nerode Theorem for Recognizable Tree Series Revisited (Q5458521) (← links)
- RELATING TREE SERIES TRANSDUCERS AND WEIGHTED TREE AUTOMATA (Q5462672) (← links)
- (Q5871579) (← links)
- Rational weighted tree languages with storage (Q6647747) (← links)