AN EXPTIME UPPER BOUND FOR ALC WITH INTEGERS

von Labai, Nadia
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 2 of 2 (2021)

Pebble-Intervals Automata and FO2 with Two Orders

von Labai, Nadia
Veröffentlicht in International Conference on Language and Automata Theory and Applications (14. : 2021 : Mailand) Language and automata theory and applications (2020)