Pages that link to "Item:Q1007225"
From MaRDI portal
The following pages link to Models of computation. An introduction to computability theory (Q1007225):
Displaying 9 items.
- Levels of undecidability in rewriting (Q627134) (← links)
- Models of computation (Q1625203) (← links)
- Some thoughts on computational models: from massive human computing to abstract state machines, and beyond (Q2117588) (← links)
- Formal models of computation. The ultimate limits of computing (Q2701761) (← links)
- Collision-based computing (Q2784236) (← links)
- Res Publica: The Universal Model of Computation (Invited Talk) (Q2958506) (← links)
- Least Upper Bounds on the Size of Church-Rosser Diagrams in Term Rewriting and λ-Calculus (Q3558344) (← links)
- Computational model theory: an overview (Q4210768) (← links)
- (Q4986663) (← links)