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.
In: 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, 1397, 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.
In: International Workshop on Logic Program Synthesis and Transformation <7, 1998, Louvain>: Proceedings. Hrsg.: N. Fuchs. S. 1-27, 1463, 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.
In: International Conference on Automated Deduction <14, 1997>: Proceedings. Hrsg.: W. McCune. S. 131-145, 1249, 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.
In: International Conference on Formal and Applied Practical Reasoning. Hrsg.: D. Gabbay (u.a.) S. 384-398, 1085, 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.
In: International Conference on Automated Deduction <13, 1996>: Proceedings. Hrsg.: M. McRobbie (u.a.) - Berlin (u.a.): Springer, 1996. S. 418-432, 1104, 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.
In: Workshop on Theorem Proving with Analytic Tableaux and Related Methods <4, 1995>: Proceedings. Hrsg.: P. Baumgartner (u.a.) S. 106-121, 918, New York: Springer, 1995,
New York, Springer, [Conference or Workshop Item]

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 00:20:57 2019 CET.