Program algebra for Turing-machine programs
From MaRDI portal
Publication:5089609
Recommendations
Cited in
(9)- An instruction sequence semigroup with involutive anti-automorphisms
- A short introduction to program algebra with instructions for Boolean registers
- scientific article; zbMATH DE number 4068842 (Why is no real title available?)
- Instruction sequence processing operators
- Execution architectures for program algebra
- Programming and automating mathematics in the Tarski-Kleene hierarchy
- Program algebras of recursive functions
- On instruction sets for Boolean registers in program algebra
- Program algebra for random access machine programs
This page was built for publication: Program algebra for Turing-machine programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5089609)