Logic, Language, Information and Computation

Book title Buchtitel
Logic, Language, Information and Computation
 
Publisher Verlag
Springer Verlag
 
DOI
10.1007/978-3-642-02261-6
 
Series Schriftenreihe
Lecture Notes in Computer Science
 

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Eiter, Thomas ; Lutz, Carsten ; Ortiz, Magdalena ; Šimkus, Mantas Query Answering in Description Logics: The Knots ApproachKonferenzbeitrag Inproceedings2009
2Baaz, Matthias ; Ciabattoni, Agata ; Preining, Norbert SAT in monadic Gödel logics: a borderline between decidability and undecidabilityKonferenzbeitrag Inproceedings2009
3Baldi, Paolo ; Ciabattoni, Agata ; Spendier, Lara Standard Completeness for Extensions of MTL: An Automated ApproachKonferenzbeitrag Inproceedings 2012