Author:
Kurucz Agi,Ryzhikov Vladislav,Savateev Yury,Zakharyaschev Michael
Publisher
Springer International Publishing
Reference30 articles.
1. Artale, A., et al.: Ontology-mediated query answering over temporal data: a survey. In: Schewe, S., Schneider, T., Wijsen, J. (eds.) TIME, vol. 90, pp. 1–37 (2017)
2. Artale, A., et al.: First-order rewritability of ontology-mediated queries in linear temporal logic. Artif. Intell. 299, 103536 (2021)
3. Barrington, D.: Bounded-width polynomial-size branching programs recognize exactly those languages in NC$${^1}$$. J. Comput. Syst. Sci. 38(1), 150–164 (1989)
4. Barrington, D., Compton, K., Straubing, H., Thérien, D.: Regular languages in NC$${^1}$$. J. Comput. Syst. Sci. 44(3), 478–499 (1992)
5. Beaudry, M., McKenzie, P., Thérien, D.: The membership problem in aperiodic transformation monoids. J. ACM 39(3), 599–616 (1992)