Loop-Detection in Hyper-Tableaux by Powerful Model Generation
Journal of Universal Computer Science. Bd. Journal of Universal Computer Science. Berlin, Heidelberg, New York: Springer 1999 S. 135-155
Erscheinungsjahr: 1999
Publikationstyp: Zeitschriftenaufsatz
Autoren
Stolzenburg, F. (Autor)
Hähnle, H. (Herausgeber)
Menzel, W. (Herausgeber)
Schmitt, P. H. (Herausgeber)
Reif, W. (Herausgeber)
Klassifikation
DDC Sachgruppe:
Allgemeines, Wissenschaft
