Back to Search
Start Over
Domain and range for angelic and demonic compositions
- Source :
- Journal of Logical and Algebraic Methods in Programming 103 (2019) 62-78
- Publication Year :
- 2018
-
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.
- Subjects :
- Computer Science - Logic in Computer Science
Mathematics - Logic
08A02
F.3.1
F.3.2
Subjects
Details
- Database :
- arXiv
- Journal :
- Journal of Logical and Algebraic Methods in Programming 103 (2019) 62-78
- Publication Type :
- Report
- Accession number :
- edsarx.1811.01712
- Document Type :
- Working Paper
- Full Text :
- https://doi.org/10.1016/j.jlamp.2018.11.002