Konferenzveröffentlichung

Bibel, Wolfgang ; Korn, D. ; Kreitz, C. ; Kurucz, F. ; Otten, J. ; Schmitt, S. ; Stolpmann, G.
Hrsg.: Fuchs, Norbert E. (1998)
A multi-level approach to program synthesis.
7th International Workshop on Logic Program Synthesis and Transformation (LOPSTR ’97). Leuven, Belgium (10.07.1998-12.07.1998)
doi: 10.1007/3-540-49674-2_1
Konferenzveröffentlichung, Bibliographie

Bibel, Wolfgang ; Korn, D. ; Kreitz, C. ; Schmitt, S.
Hrsg.: Calmet, Jaques (1996)
Problem-oriented applications of automated theorem proving.
4. International Symposium on Design and Implementation of Symbolic Computation Systems (DISCO '96). Karlsruhe, Germany (18.09.1996-20.09.1996)
Konferenzveröffentlichung, Bibliographie

Otten, J. ; Kreitz, C.
Hrsg.: Baumgartner, Peter (1995)
A connection based proof method for intuitionistic logic.
4th Workshop on Theorem Proving with Analytic Tableaux and Related Methods (TABLEAUX '95). St. Goar, Germany (07.05.1995-10.05.1995)
Konferenzveröffentlichung, Bibliographie