A-ordered tableaux
| Zugehörige Institution(en) am KIT | Fakultät für Informatik – Institut für Logik, Komplexität und Deduktionssysteme (ILKD) |
| Publikationstyp | Zeitschriftenaufsatz |
| Publikationsjahr | 1996 |
| Sprache | Deutsch |
| Identifikator | ISSN: 0955-792X urn:nbn:de:swb:90-AAA2301963 KITopen-ID: 230196 |
| Erschienen in | Journal of Logic and Computation |
| Verlag | Oxford University Press (OUP) |
| Band | 6 |
| Seiten | 819 - 834 |