Pages that link to "Item:Q4779240"
From MaRDI portal
The following pages link to An Early Program Proof by Alan Turing (Q4779240):
Displaying 6 items.
- A personal account of Turing's imprint on the development of computer science (Q465701) (← links)
- Turing oracle machines, online computing, and three displacements in computability theory (Q1032637) (← links)
- Weights for total division orderings on strings (Q1346630) (← links)
- Fifty years of Hoare's logic (Q2280214) (← links)
- Combining Model Checking and Deduction (Q3176378) (← links)
- (Q3986546) (← links)
