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.
5, In: Journal of universal computer science, pp. 88-112, [Article]

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

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

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

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

This list was generated on Tue Dec 10 01:26:56 2019 CET.