Deciding FO-definability of Regular Languages

von Kurucz, Agi
Veröffentlicht in RAMiCS (19. : 2021 : Marseille) Relational and algebraic methods in computer science (2021)

A DATA COMPLEXITY AND REWRITABILITY TETRACHOTOMY OF ONTOLOGY- MEDIATED QUERIES WITH A COVERING AXIOM

von Gerasimova, Olga
Veröffentlicht in International Conference on Principles of Knowledge Representation and Reasoning (17. : 2020 : Online) 17th International Conference Principles on Knowledge Representation and Reasoning (KR2020) ; Volume 1 of 2 (2021)