Pages that link to "Item:Q744986"
From MaRDI portal
The following pages link to A formalization of multi-tape Turing machines (Q744986):
Displaying 4 items.
- Reverse complexity (Q287279) (← links)
- Weak call-by-value lambda calculus as a model of computation in Coq (Q1687735) (← links)
- Call-by-value lambda calculus as a model of computation in Coq (Q2319993) (← links)
- Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version) (Q6137845) (← links)
