A tableau calculus for quantifier-free set theoretic formulae

; Hartmer, Ulrike

Seitenaufrufe: 15
seit 04.05.2018

Zugehörige Institution(en) am KIT	Fakultät für Informatik – Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp	Buchaufsatz
Publikationsjahr	1998
Sprache	Englisch
Identifikator	KITopen-ID: 182098
Erscheinungsvermerk	In: Automated reasoning with analytic tableaux and related methods. Ed.: H. de Swart. Berlin 1998. S. 93-107. (Lecture notes in computer science. 1397.)