Monoids of non-halting programs with tests

From MaRDI portal
Publication:1646607

DOI10.1007/s00012-018-0490-3zbMath1400.08003OpenAlexW2797333242MaRDI 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




Related Items



Cites Work


This page was built for publication: Monoids of non-halting programs with tests