View in EDS HTML Full Text PDF Full Text

Algebra of Non-deterministic Programs: Demonic Operations, Orders and Axioms.

Saved in:

Bibliographic Details
Title:	Algebra of Non-deterministic Programs: Demonic Operations, Orders and Axioms.
Authors:	Hirsch, Robin¹, Mikulás, Szabolcs², Stokes, Tim³, tim.stokes@waikato.ac.nz
Source:	Logic Journal of the IGPL; Oct2022, Vol. 30 Issue 5, p886-906, 21p
Database:	Applied Science & Technology Source
Full text is not displayed to guests. Login for full access.

Description
ISSN:	13670751
DOI:	10.1093/jigpal/jzab026