EVA STAR Trefferanzeige

Volltext Volltext.ps1.ps (267 KB) Haehnle.pdf2.pdf (125 KB)
URN (für Zitat) http://nbn-resolving.org/urn:nbn:de:swb:90-AAA2301963
Titel A-ordered tableaux
Autor Haehnle, Reiner
Klingenbeck, Stefan
Institution Fakultät für Informatik (INFORMATIK)
Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Dokumenttyp Aufsatz in einer Zeitschrift
Erschienen in Journal of Logic and Computation
Jahr: 1996
Band: 6
ISSN: 0955-792X
Seitenangabe: 819 - 834