TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 7.

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

Otten, J. (1996):
Guiding program development systems by a connection based proof strategy.
Berlin (u.a.), Springer, In: International Workshop on Logic Program Synthesis and Transformation <5, 1996>: Proceedings. Hrsg.: M. Proietti. S. 137-151, 1048, [Conference or Workshop Item]

Otten, J. (1996):
T-String-Unification: Unifying prefixes in non-classical proof methods.
Berlin (u.a.), Springer, In: International Workshop on Theorem Proving with Analytic Tableaux and Related Methods <5, 1996>: Proceedings. Hrsg.: P. Miglioli (u.a.) S. 244-260, 1071, [Conference or Workshop Item]

Otten, J. (1996):
T-String-Unification: Unifying prefixes in non-classical proof methods.
Berlin (u.a.), Springer, In: International Workshop on Theorem Proving with Analytic Tableaux and Related Methods <5, 1996>: Proceedings. Hrsg.: P. Miglioli (u.a.) S. 244-260, 1071, [Conference or Workshop Item]

Otten, J. (1996):
A uniform proof procedure for classical and non-classical logics.
In: KI 96: Advances in Artificial Intelligence. Hrsg.: G. Görz (u.a.) S. 307-319, Berlin (u.a.), Springer, [Book Section]

Otten, J. (1996):
A uniform proof procedure for classical and non-classical logics.
In: KI 96: Advances in Artificial Intelligence. Hrsg.: G. Görz (u.a.) S. 307-319, Berlin (u.a.), Springer, [Book Section]

Otten, J. and Kreitz, (1995):
A connection based proof method for intuitionistic logic.
New York, Springer, In: Workshop on Theorem Proving with Analytic Tableaux and Related Methods <4, 1995>: Proceedings. Hrsg.: P. Baumgartner (u.a.) S. 122-137, 918, [Conference or Workshop Item]

This list was generated on Tue Nov 12 01:58:16 2019 CET.