The following pages link to (Q4874662):
Displaying 12 items.
- A logical approach to locality in pictures languages (Q295631) (← links)
- EMSO-definability of some languages with event structures (Q937912) (← links)
- Characterizations of recognizable picture series (Q1022605) (← links)
- A characterization of recognizable picture languages by tilings by finite sets (Q1292300) (← links)
- A note on identities of two-dimensional languages (Q1765373) (← links)
- A Nivat theorem for weighted picture automata and weighted MSO logics (Q2424674) (← links)
- Recognizable series on graphs and hypergraphs (Q2424675) (← links)
- Weighted picture automata and weighted logics (Q2429722) (← links)
- New operations and regular expressions for two-dimensional languages over one-letter alphabet (Q2484449) (← links)
- A Nivat Theorem for Weighted Picture Automata and Weighted MSO Logic (Q2799219) (← links)
- Recognizable vs. Regular Picture Languages (Q3522862) (← links)
- Star-free picture expressions are strictly weaker than first-order logic (Q4571966) (← links)
