Pages that link to "Item:Q1772275"
From MaRDI portal
The following pages link to Expressive power of existential first-order sentences of Büchi's sequential calculus (Q1772275):
Displayed 4 items.
- A new algorithm for testing if a regular language is locally threshold testable (Q2380003) (← links)
- On FO 2 Quantifier Alternation over Words (Q3182951) (← links)
- A SURVEY ON SMALL FRAGMENTS OF FIRST-ORDER LOGIC OVER FINITE WORDS (Q3538848) (← links)
- AROUND DOT-DEPTH ONE (Q4923283) (← links)