Program Algebra for Turing-Machine Programs

DOI10.7561/SACS.2019.2.113MaRDI QIDQ5089609

Jan A. Bergstra, C. A. Middelburg

Publication date: 19 July 2022

Published in: Scientific Annals of Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1901.08840

zbMATH Keywords

computational complexitycomputabilityprogram algebramodel of computationthread algebraTuring-machine program

Mathematics Subject Classification ID

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

This page was built for publication: Program Algebra for Turing-Machine Programs