Domain and range for angelic and demonic compositons
Jackson, M. and Mikulás, Szabolcs (2018) Domain and range for angelic and demonic compositons. Journal of Logical and Algebraic Methods in Programming 103 , pp. 62-78. ISSN 2352-2208.
|
Text
JM-JLAMP-final.pdf - Author's Accepted Manuscript Available under License Creative Commons Attribution Non-commercial No Derivatives. Download (344kB) | Preview |
Official URL: https://doi.org/10.1016/j.jlamp.2018.11.002
Abstract
We give finite axiomatizations for the varieties generated by representable domain-range algebras when the semigroup operation is interpreted as angelic or demonic composition, respectively.
Metadata
Item Type: | Article |
---|---|
School: | Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences |
Depositing User: | Szabolcs Mikulas |
Date Deposited: | 02 Nov 2018 13:38 |
Last Modified: | 09 Aug 2023 12:45 |
URI: | https://eprints.bbk.ac.uk/id/eprint/24890 |
Statistics
Downloads
Activity Overview
6 month trend
6 month trend
Additional statistics are available via IRStats2.