Full name Familienname, Vorname
Tompits, Hans
 
Main Affiliation Organisations­zuordnung
 

Filter:
Author:  Berger, Gerald

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

PreviewAuthor(s)TitleTypeIssue Date
1Berger, Gerald ; Beklemishev, Lev D ; Tompits, Hans A many-sorted variant of Japaridze's polymodal provability logicArtikel Article 2018
2Berger, Gerald ; Tompits, Hans On Axiomatic Rejection for the Description Logic $$\mathcal {ALC}$$Konferenzbeitrag Inproceedings 2014
3Berger, Gerald ; Tompits, Hans On Axiomatic Rejection for the Description Logic ALCKonferenzbeitrag Inproceedings 2013

Filter:
Author:  Berger, Gerald

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

PreviewAuthor(s)TitleTypeIssue Date
1Berger Gerald - 2015 - Provability interpretations of a many-sorted polymodal...pdf.jpgBerger, Gerald Provability interpretations of a many-sorted polymodal logicThesis Hochschulschrift 2015