Correspondence

DOI10.1093/comjnl/8.3.215-azbMath0134.24707OpenAlexW4245170470MaRDI QIDQ5344982

Christopher Strachey

Publication date: 1965

Published in: The Computer Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/comjnl/8.3.215-a

zbMATH Keywords

Turing machine

Mathematics Subject Classification ID

Turing machines and related notions (03D10) Classical models of computation (Turing machines, etc.) (68Q04)

Related Items (1)

The halting problem and security’s language-theoretic approach: Praise and criticism from a technical historian

This page was built for publication: Correspondence