Pages that link to "Item:Q1127532"
From MaRDI portal
The following pages link to Rudimentary relations and primitive recursion: A toolbox (Q1127532):
Displayed 7 items.
- Extensions of MSO and the monadic counting hierarchy (Q617710) (← links)
- Complexity-theoretic hierarchies induced by fragments of Gödel's \(T\) (Q1015376) (← links)
- Nonerasing, counting, and majority over the linear time hierarchy (Q1854524) (← links)
- Arithmetical definability and computational complexity (Q1885035) (← links)
- Bounded minimalisation and bounded counting in argument-bounded idc's (Q3060189) (← links)
- Fifty years of the spectrum problem: survey and new results (Q4902770) (← links)
- Counting modulo finite semigroups (Q5941256) (← links)