Pages that link to "Item:Q692910"
From MaRDI portal
The following pages link to A Büchi-like theorem for weighted tree automata over multioperator monoids (Q692910):
Displaying 11 items.
- Characterizations of recognizable weighted tree languages by logic and bimorphisms (Q1797776) (← links)
- A unifying survey on weighted logics and weighted automata. Core weighted logic: minimal and versatile specification of quantitative properties (Q1797777) (← links)
- Kleene and Büchi theorems for weighted forest languages over M-monoids (Q2051789) (← links)
- Linear weighted tree automata with storage and inverse linear tree homomorphisms (Q2051842) (← links)
- Finite-image property of weighted tree automata over past-finite monotonic strong bimonoids (Q2136289) (← links)
- Weighted automata with storage (Q2280328) (← links)
- A link between multioperator and tree valuation automata and logics (Q2355687) (← links)
- Weighted Automata and Logics on Infinite Graphs (Q2817384) (← links)
- Weighted Symbolic Automata with Data Storage (Q2817389) (← links)
- Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics (Q3098032) (← links)
- (Q5871579) (← links)
