Pages that link to "Item:Q860890"
From MaRDI portal
The following pages link to Weighted tree automata and weighted logics (Q860890):
Displaying 4 items.
- A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings (Q6137852) (← links)
- A Comparison of Sets of Recognizable Weighted Tree Languages Over Specific Sets of Bounded Lattices (Q6154974) (← links)
- Weighted automata and logics meet computational complexity (Q6647756) (← links)
- A Nivat theorem for weighted alternating automata over commutative semirings (Q6649528) (← links)