Kreitz, Christoph ; Mantel, Heiko ; Otten, Jens ; 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 ; Mantel, Heiko ; Otten, Jens ; Schmitt, Stephan |
Title: | Connection-Based Proof Construction in Linear Logic |
Language: | German |
Book Title: | 14th International Conference on Automated Deduction, CADE-14 |
Series: | 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 |
Options (only for editors)
![]() |
Show editorial Details |