BIROn - Birkbeck Institutional Research Online
    Up a level
    Export as [feed] Atom [feed] RSS
    Group by: Author(s) | Date | School | No Grouping
    Jump to: K
    Number of items: 1.

    K

    Kurucz, A. and Ryzhikov, Vladislav and Savateev, Yury and Zakhariyashchev, Michael (2023) Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic. Journal of Artificial Intelligence Research 76 , ISSN 1076-9757.

    This list was generated on Wed Apr 24 22:22:25 2024 BST.