Pages that link to "Item:Q5898830"
From MaRDI portal
The following pages link to Logical Approaches to Computational Barriers (Q5898830):
Displaying 9 items.
- Characteristics of discrete transfinite time Turing machine models: Halting times, stabilization times, and normal form theorems (Q1004086) (← links)
- Space bounded computations: Review and new separation results (Q1176238) (← links)
- Koepke machines and satisfiability for infinitary propositional languages (Q2011652) (← links)
- Infinite time busy beavers (Q2011657) (← links)
- Weaker variants of infinite time Turing machines (Q2309496) (← links)
- The computational strengths of \(\alpha\)-tape infinite time Turing machines (Q2453073) (← links)
- Infinite time Turing machines with only one tape (Q2720332) (← links)
- Hypermachines (Q3011123) (← links)
- Space-bounded OTMs and REG ∞ (Q5037216) (← links)