TU Darmstadt / ULB / TUbiblio

Connection-Based Proof Construction in Linear Logic

Kreitz, Christoph and Mantel, Heiko and Otten, Jens and Schmitt, Stephan
McCune, William (ed.) (1997):
Connection-Based Proof Construction in Linear Logic.
In: 14th International Conference on Automated Deduction, CADE-14, Townsville, Australia, Springer, In: LNAI 1249, [Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 1997
Editors: McCune, William
Creators: Kreitz, Christoph and Mantel, Heiko and Otten, Jens and Schmitt, Stephan
Title: Connection-Based Proof Construction in Linear Logic
Language: German
Title of Book: 14th International Conference on Automated Deduction, CADE-14
Series Name: LNAI 1249
Place of Publication: Townsville, Australia
Publisher: Springer
Divisions: 20 Department of Computer Science > Modeling and Analysis of Information Systems (MAIS)
20 Department of Computer Science
Date Deposited: 09 Apr 2010 14:11
Additional Information:

inp:KreitzMantelOttenSchmitt1997a

Export:
Suche nach Titel in: TUfind oder in Google

Optionen (nur für Redakteure)

View Item View Item