Name Card

Full name Familienname, Vorname
Labai, Nadia
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-7 of 7 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Labai Nadia - 2021 - Automata-based reasoning for decidable logics with data...pdf.jpgLabai, Nadia Automata-based reasoning for decidable logics with data valuesThesis Hochschulschrift 2021
2Labai, Nadia ; Kotek, Tomer ; Ortiz, Magdalena ; Veith, Helmut Pebble-Intervals Automata and FO$$^2$$ with Two OrdersKonferenzbeitrag Inproceedings 2020
3Labai, Nadia ; Simkus, Mantas ; Ortiz de la Fuente, M.Magdalena An ExpTime Upper Bound for ALC with IntegersKonferenzbeitrag Inproceedings 2020
4Labai, Nadia ; Simkus, Mantas ; Ortiz de la Fuente, M.Magdalena An ExpTime Upper Bound for ALC with Integers (Extended Version)Bericht Report2020
5Labai, Nadia ; Kotek, Tomer ; Ortiz de la Fuente, M.Magdalena ; Veith, Helmut Pebble-Intervals Automata and FO2 with Two Orders (Extended VersionBericht Report2019
6Labai, Nadia ; Homola, Martin ; Ortiz de la Fuente, M.Magdalena Constructive Satisfiability Procedure for ALCP(Z) (Preliminary Report)Konferenzbeitrag Inproceedings 2017
7Labai, Nadia ; Makowsky, Johann A. Logics of Finite Hankel RankKonferenzbeitrag Inproceedings 2015