Opening book details…
About this Computer Science article
Monoids with Tests and the Algebra of Possibly Non-halting Programs by Jackson, Marcel; Stokes, Tim is a Computer Science article available to read on EtoBox.
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Jackson, Marcel; Stokes, Tim
- Publisher
- Elsevier ; Elsevier BV (ISSN 2352-2208)
- Published
- 2015
- Field
- Computer Science (Physical Sciences)