TU Darmstadt / ULB / TUbiblio

Connection-Based Proof Construction in Linear Logic

Kreitz, Christoph ; Mantel, Heiko ; Otten, Jens ; Schmitt, Stephan
ed.: McCune, William (1997)
Connection-Based Proof Construction in Linear Logic.
Conference or Workshop Item, Bibliographie

Item Type: Conference or Workshop Item
Erschienen: 1997
Editors: McCune, William
Creators: Kreitz, Christoph ; Mantel, Heiko ; Otten, Jens ; Schmitt, Stephan
Type of entry: Bibliographie
Title: Connection-Based Proof Construction in Linear Logic
Language: German
Date: July 1997
Place of Publication: Townsville, Australia
Publisher: Springer
Book Title: 14th International Conference on Automated Deduction, CADE-14
Series: LNAI 1249
Additional Information:

inp:KreitzMantelOttenSchmitt1997a

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
Last Modified: 05 Mar 2013 09:33
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details