TU Darmstadt / ULB / TUbiblio

Semantical Investigation of Simultaneous Skolemization for First-Order Sequent Calculus

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

Item Type: Report
Erschienen: 1998
Creators: Autexier, Serge and Mantel, Heiko
Title: Semantical Investigation of Simultaneous Skolemization for First-Order Sequent Calculus
Language: English
Series Name: autexier.ea:semantical-investigation-of-simultaneous-skolemization-for-first-order-sequent-calculus:1998a
Place of Publication: Germany
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Modeling and Analysis of Information Systems (MAIS)
Date Deposited: 09 Apr 2010 14:10
Additional Information:

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

Identification Number: SEKI Report SR-98-05
Export:

Optionen (nur für Redakteure)

View Item View Item