Pages that link to "Item:Q4406309"
From MaRDI portal
The following pages link to Existential second-order logic over strings (Q4406309):
Displaying 9 items.
- Existential MSO over two successors is strictly weaker than over linear orders (Q837190) (← links)
- A descriptive characterisation of linear languages (Q851197) (← links)
- An existential fragment of second order logic (Q1306791) (← links)
- Closure properties of locally finite \(\omega\)-languages (Q1885033) (← links)
- Existential Second-order Logic over Graphs: A Complete Complexity-theoretic Classification (Q2955035) (← links)
- Second-Order Logic over Finite Structures – Report on a Research Programme (Q3439520) (← links)
- The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey (Q3586006) (← links)
- Automated Reasoning (Q5307062) (← links)
- Existential second-order logic over graphs (Q5501192) (← links)