Tableau Methods for a Logic with Term Declarations
ISSN: 0747-7171
Datum der Publikation: 2000
Ausgabe: 29
Nummer: 2
Seiten: 343-372
Art: Artikel
ISSN: 0747-7171
Datum der Publikation: 2000
Ausgabe: 29
Nummer: 2
Seiten: 343-372
Art: Artikel