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 |
Options (only for editors)
 |
Show editorial Details |
Drucken
Impressum