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

From MaRDI portal

Publication:4995608

Jump to:navigation, search

DOI10.3233/COM-180217MaRDI QIDQ4995608

Edgar G. Daylight

Publication date: 25 June 2021

Published in: Computability (Search for Journal in Brave)

zbMATH Keywords

undecidability; security; computability theory; halting problem; Internet of things

Mathematics Subject Classification ID

03Dxx: Computability and recursion theory

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4995608&oldid=19446350"