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: 8.

Schmitt, Stephan and Kreitz, (1998):
Deleting redundancy in proof reconstruction.
1397In: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods <1998, Oisterwijk, The Netherlands>: Proceedings. Hrsg.: H. de Swart. - Berlin (u.a.): Springer, 1998. S. 262-276, Berlin (u.a.), Springer, [Conference or Workshop Item]

Bibel, Wolfgang and Korn, and Kreitz, and Kurucz, and Otten, and Schmitt, and Stolpmann, (1998):
A multi-level approach to program synthesis.
1463In: International Workshop on Logic Program Synthesis and Transformation <7, 1998, Louvain>: Proceedings. Hrsg.: N. Fuchs. S. 1-27, Berlin (u.a.): Springer, 1998,
Berlin (u.a.), Springer, [Conference or Workshop Item]

Korn, Daniel and Kreitz, (1997):
Deciding intuitionistic propositional logic via translation into classical logic.
1249In: International Conference on Automated Deduction <14, 1997>: Proceedings. Hrsg.: W. McCune. S. 131-145, Berlin, Heidelberg (u.a.): Springer, 1997,
Berlin, Heidelberg (u.a.), Springer, [Conference or Workshop Item]

Lau, K.-K. and Kreitz, and Ornaghi, and Kreitz, and Ornaghi, (1996):
Formal reasoning about modules, reuse, and their correctness.
1085In: International Conference on Formal and Applied Practical Reasoning. Hrsg.: D. Gabbay (u.a.) S. 384-398, Berlin (u.a.): Springer, 1996,
Berlin (u.a.), Springer, [Conference or Workshop Item]

Schmitt, Stephan and Kreitz, (1996):
On converting non-classical matrix proofs into sequent -style systems.
1104In: International Conference on Automated Deduction <13, 1996>: Proceedings. Hrsg.: M. McRobbie (u.a.) - Berlin (u.a.): Springer, 1996. S. 418-432, Berlin (u.a.), Springer, [Conference or Workshop Item]

Bibel, Wolfgang and Korn, and Kreitz, and Schmitt, (1996):
Problem-oriented applications of automated theorem proving.
In: Design and implementation of symbolic computation systems. Hrsg.: J. Calmet (u.a.) . Berlin (u.a.): Springer, 1996, Berlin (u.a.), Springer, [Book Section]

Schmitt, S. and Kreitz, (1995):
On transforming intuitionistic matrix proofs into standard-sequent proofs.
918In: Workshop on Theorem Proving with Analytic Tableaux and Related Methods <4, 1995>: Proceedings. Hrsg.: P. Baumgartner (u.a.) S. 106-121, New York: Springer, 1995,
New York, Springer, [Conference or Workshop Item]

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

This list was generated on Sat Sep 19 01:28:17 2020 CEST.