TU Darmstadt / ULB / TUbiblio

Semantical Investigation of Simultaneous Skolemization for First-Order Sequent Calculus

Autexier, Serge ; Mantel, Heiko :
Semantical Investigation of Simultaneous Skolemization for First-Order Sequent Calculus.
In: autexier.ea:semantical-investigation-of-simultaneous-skolemization-for-first-order-sequent-calculus:1998a . Germany
[Report], (1998)

Typ des Eintrags: Report
Erschienen: 1998
Autor(en): Autexier, Serge ; Mantel, Heiko
Titel: Semantical Investigation of Simultaneous Skolemization for First-Order Sequent Calculus
Sprache: Englisch
Reihe: autexier.ea:semantical-investigation-of-simultaneous-skolemization-for-first-order-sequent-calculus:1998a
Ort: Germany
Fachbereich(e)/-gebiet(e): Fachbereich Informatik > Modellierung und Analyse von Informationssystemen
Fachbereich Informatik
Hinterlegungsdatum: 09 Apr 2010 14:10
Zusätzliche Informationen:

autexier.ea:semantical-investigation-of-simultaneous-skolemization-for-first-order-sequent-calculus:1998a

ID-Nummer: SEKI Report SR-98-05
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen