The following pages link to (Q3949037):
Displaying 4 items.
- Turing machines with linear alternation, theories of bounded concatenation and the decision problem of first order theories (Q793017) (← links)
- Complexity of logical theories involving coprimality (Q1202924) (← links)
- On the complexity of decision using destinies in \(H\)-bounded structures (Q1885032) (← links)
- A list of arithmetical structures complete with respect to the first-order definability (Q5941257) (← links)
