Pages that link to "Item:Q4090320"
From MaRDI portal
The following pages link to Recursive Undecidability--An Exposition (Q4090320):
Displayed 4 items.
- Some undecidable determined games (Q1171511) (← links)
- Expository notes on computability and complexity in (arithmetical) games (Q1391661) (← links)
- Register machine proof of the theorem on exponential diophantine representation of enumerable sets (Q3734384) (← links)
- A survey of computational complexity results in systems and control (Q5926262) (← links)