Role

  • Pebble-Intervals Automata and FO2 with Two Orders (Extended Version / N. Labai, T. Kotek, M. Ortiz de la Fuente, H. Veith / Report for CoRR; Report No. 1912.00171, 2019; 45 pages
  • Constructive Satisfiability Procedure for ALCP(Z) (Preliminary Report) / N. Labai, M. Homola, M. Ortiz de la Fuente / Talk: 30th International Workshop on Description Logics, Montpellier, France; 2017-07-18 - 2017-07-21; in: "Proceedings of the 30th International Workshop on Description Logics", A. Artale, B. Glimm, R. Kontchakov (ed.); CEUR Workshop Proceedings, 1879 (2017), ISSN: 1613-0073; 1 - 13
  • Logics of Finite Hankel Rank / N. Labai, J. A. Makowsky / Talk: Fields of Logic and Computation II, Berlin, Germany; 2015-09-11 - 2015-09-12; in: "Fields of Logic and Computation II", Springer, 9300 (2015), ISBN: 978-3-319-23533-2; 237 - 252