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: LNAI 1249, In: 14th International Conference on Automated Deduction, CADE-14, pp. 207-221,
Townsville, Australia, Springer, [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
Send an inquiry Send an inquiry

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