Browse by Journal and Volume

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 Fri Aug 1 02:44:33 2025 BST.