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.

Schmitt, Stephan ; Kreitz, (1998)
Deleting redundancy in proof reconstruction.
Conference or Workshop Item, Bibliographie

Bibel, Wolfgang ; Korn, ; Kreitz, ; Kurucz, ; Otten, ; Schmitt, ; Stolpmann, (1998)
A multi-level approach to program synthesis.
Conference or Workshop Item, Bibliographie

Korn, Daniel ; Kreitz, (1997)
Deciding intuitionistic propositional logic via translation into classical logic.
Conference or Workshop Item, Bibliographie

Schmitt, Stephan ; Kreitz, (1996)
On converting non-classical matrix proofs into sequent -style systems.
Conference or Workshop Item, Bibliographie

Bibel, Wolfgang ; Korn, ; Kreitz, ; 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
Book Section, Bibliographie

Schmitt, S. ; Kreitz, (1995)
On transforming intuitionistic matrix proofs into standard-sequent proofs.
Conference or Workshop Item, Bibliographie

Otten, J. ; Kreitz, (1995)
A connection based proof method for intuitionistic logic.
Conference or Workshop Item, Bibliographie

This list was generated on Tue Feb 27 01:50:49 2024 CET.