The following pages link to (Q3460891):
Displayed 4 items.
- Assembling a prehistory for formal methods: a personal view (Q2280210) (← links)
- Towards a Historical Notion of ‘Turing—the Father of Computer Science’ (Q2963951) (← links)
- The halting problem and security’s language-theoretic approach: Praise and criticism from a technical historian (Q4995608) (← links)
- Did Turing stand on Gödel's shoulders? (Q6169862) (← links)