BIROn - Birkbeck Institutional Research Online
    Up a level
    Export as [feed] Atom [feed] RSS
    Jump to: Article
    Number of items: 1.

    Article

    Bresolin, D. and Kurucz, A. and Muñoz-Velasco, E. and Ryzhikov, V. and Sciavicco, G. and Zakharyaschev, Michael (2017) Horn fragments of the Halpern-Shoham Interval Temporal Logic. ACM Transactions on Computational Logic 18 (3), pp. 1-39. ISSN 1529-3785.

    This list was generated on Mon Oct 19 04:40:11 2020 BST.