Pages that link to "Item:Q1022605"
From MaRDI portal
The following pages link to Characterizations of recognizable picture series (Q1022605):
Displaying 8 items.
- Schützenberger's theorem on formal power series follows from Kleene's theorem (Q935170) (← links)
- Networks of picture processors as problem solvers (Q1746794) (← links)
- A Kleene theorem for weighted tree automata over distributive multioperator monoids (Q2272217) (← links)
- A Nivat theorem for weighted picture automata and weighted MSO logics (Q2424674) (← links)
- Weighted picture automata and weighted logics (Q2429722) (← links)
- A Nivat Theorem for Weighted Picture Automata and Weighted MSO Logic (Q2799219) (← links)
- Classes of two-dimensional languages and recognizability conditions (Q2998728) (← links)
- Valuations of Weighted Automata: Doing It in a Rational Way (Q3098044) (← links)
