Monoids of non-halting programs with tests

DOI10.1007/s00012-018-0490-3zbMath1400.08003MaRDI QIDQ1646607

Y. Aharonov

Publication date: 25 June 2018

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00012-018-0490-3

zbMATH Keywords

\(C\)-algebra; \(C\)-monoid; if-then-else; non-halting program; non-halting test

Mathematics Subject Classification ID

68N15: Theory of programming languages

08A70: Applications of universal algebra in computer science

20M35: Semigroups in automata theory, linguistics, etc.

03G25: Other algebras related to logic