Name Card

Full name Familienname, Vorname
de Queiroz, Ruy J. Guerra B
 

Contributing Publications Mitbeteiligte Publikationen

Results 1-2 of 2 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Baaz, Matthias ; Lolic, Anela Note on Globally Sound Analytic Calculi for Quantifier MacrosKonferenzbeitrag Inproceedings2019
2Eiter, Thomas ; Lutz, Carsten ; Ortiz, Magdalena ; Šimkus, Mantas Query Answering in Description Logics: The Knots ApproachKonferenzbeitrag Inproceedings2009