BIROn - Birkbeck Institutional Research Online

    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.

    [img] Text
    JM-JLAMP-final.pdf - Author's Accepted Manuscript
    Restricted to Repository staff only until 15 November 2019.
    Available under License Creative Commons Attribution Non-commercial No Derivatives.

    Download (344kB) | Request a copy


    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.


    Item Type: Article
    School: Birkbeck Schools and Departments > School of Business, Economics & Informatics > Computer Science and Information Systems
    Depositing User: Szabolcs Mikulas
    Date Deposited: 02 Nov 2018 13:38
    Last Modified: 30 Jul 2019 18:07


    Activity Overview

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item