Kreitz, Christoph ; Otten, J. (1999)
Connection-based theorem proving in classical and non-classical logics.
In: Journal of universal computer science, 5
Article, Bibliographie

Bibel, Wolfgang ; Korn, D. ; Kreitz, C. ; Kurucz, F. ; Otten, J. ; Schmitt, S. ; Stolpmann, G.
ed.: 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
Conference or Workshop Item, Bibliographie

Otten, J. (1996)
Guiding program development systems by a connection based proof strategy.
Conference or Workshop Item, Bibliographie

Otten, J. (1996)
T-String-Unification: Unifying prefixes in non-classical proof methods.
Conference or Workshop Item, Bibliographie

Otten, J. (1996)
T-String-Unification: Unifying prefixes in non-classical proof methods.
Conference or Workshop Item, Bibliographie

Otten, J. (1996)
A uniform proof procedure for classical and non-classical logics.
In: KI 96: Advances in Artificial Intelligence, Edition: Berlin (u.a.): Springer, 1996
Book Section, Bibliographie

Otten, J. (1996)
A uniform proof procedure for classical and non-classical logics.
In: KI 96: Advances in Artificial Intelligence, Edition: Berlin (u.a.): Springer, 1996
Book Section, Bibliographie

Otten, J. ; Kreitz, (1995)
A connection based proof method for intuitionistic logic.
Conference or Workshop Item, Bibliographie