Pages that link to "Item:Q4351932"
From MaRDI portal
The following pages link to Rudimentary Languages and Second‐Order Logic (Q4351932):
Displayed 8 items.
- Extensions of MSO and the monadic counting hierarchy (Q617710) (← links)
- On the expressive power of monadic least fixed point logic (Q817849) (← links)
- Rudimentary relations and primitive recursion: A toolbox (Q1127532) (← links)
- Nonerasing, counting, and majority over the linear time hierarchy (Q1854524) (← links)
- Arithmetical definability and computational complexity (Q1885035) (← links)
- On subrecursive complexity of integration (Q2291373) (← links)
- A characterization of definability of second-order generalized quantifiers with applications to non-definability (Q2453584) (← links)
- Fifty years of the spectrum problem: survey and new results (Q4902770) (← links)