1999

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

1996

Otten, J. (1996)
Guiding program development systems by a connection based proof strategy.
Konferenzveröffentlichung, Bibliographie

Otten, J. (1996)
T-String-Unification: Unifying prefixes in non-classical proof methods.
Konferenzveröffentlichung, Bibliographie

Otten, J. (1996)
T-String-Unification: Unifying prefixes in non-classical proof methods.
Konferenzveröffentlichung, Bibliographie

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

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

1995

Otten, J. ; Kreitz, (1995)
A connection based proof method for intuitionistic logic.
Konferenzveröffentlichung, Bibliographie