Pages that link to "Item:Q4571966"
From MaRDI portal
The following pages link to Star-free picture expressions are strictly weaker than first-order logic (Q4571966):
Displayed 5 items.
- Characterizations of recognizable picture series (Q1022605) (← links)
- Weighted picture automata and weighted logics (Q2429722) (← links)
- New operations and regular expressions for two-dimensional languages over one-letter alphabet (Q2484449) (← links)
- Picture codes (Q3423135) (← links)
- Dot-depth, monadic quantifier alternation, and first-order closure over grids and pictures (Q5958302) (← links)