Pages that link to "Item:Q2390295"
From MaRDI portal
The following pages link to On fixpoint arithmetic and infinite time Turing machines (Q2390295):
Displaying 8 items.
- The basic theory of infinite time register machines (Q2267751) (← links)
- Revision sequences and computers with an infinite amount of time (Q2720396) (← links)
- ON COUNTER MACHINES, REACHABILITY PROBLEMS, AND DIOPHANTINE EQUATIONS (Q3526543) (← links)
- A Survey of Infinite Time Turing Machines (Q3608469) (← links)
- (Q3639069) (← links)
- Fixpoints, games and the difference hierarchy (Q4462675) (← links)
- (Q4530726) (← links)
- (Q4723712) (← links)