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]
    Preview
    Text
    JM-JLAMP-final.pdf - Author's Accepted Manuscript
    Available under License Creative Commons Attribution Non-commercial No Derivatives.

    Download (344kB) | Preview

    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: School of Business, Economics & Informatics > Computer Science and Information Systems
    Depositing User: Szabolcs Mikulas
    Date Deposited: 02 Nov 2018 13:38
    Last Modified: 09 Jun 2021 12:48
    URI: https://eprints.bbk.ac.uk/id/eprint/24890

    Statistics

    Downloads
    Activity Overview
    69Downloads
    80Hits

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item