TU Darmstadt / ULB / TUbiblio

On transforming intuitionistic matrix proofs into standard-sequent proofs

Schmitt, S. ; Kreitz, :
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 . Springer , New York
[Konferenz- oder Workshop-Beitrag], (1995)

Typ des Eintrags: Konferenz- oder Workshop-Beitrag (Keine Angabe)
Erschienen: 1995
Autor(en): Schmitt, S. ; Kreitz,
Titel: On transforming intuitionistic matrix proofs into standard-sequent proofs
Sprache: Deutsch
Reihe: Workshop on Theorem Proving with Analytic Tableaux and Related Methods <4, 1995>: Proceedings. Hrsg.: P. Baumgartner (u.a.) S. 106-121
Band: 918
Ort: New York
Verlag: Springer
Edition: New York: Springer, 1995
Fachbereich(e)/-gebiet(e): Fachbereich Informatik
Hinterlegungsdatum: 19 Nov 2008 15:58
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen