Name Card

Full name Familienname, Vorname
Wansing, Heinrich
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Ciabattoni, Agata ; Ramanayake, Revantha ; Wansing, Heinrich Hypersequent and Display Calculi - a Unified PerspectiveArtikel Article 2014

Contributing Publications Mitbeteiligte Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Eiter, Thomas ; Gottlob, Georg ; Ortiz, Magdalena ; Šimkus, Mantas Query Answering in the Description Logic Horn-SHIQKonferenzbeitrag Inproceedings 2008
2Ortiz, Magdalena Extending Carin to the Description Logics of the $\mathcal{SH}$ FamilyKonferenzbeitrag Inproceedings 2008
3Herman, Miki ; Pichler, Reinhard Counting Complexity of Minimal Cardinality and Minimal Weight AbductionKonferenzbeitrag Inproceedings 2008