2nd Workshop Structural Proof Theory
Event name
2nd Workshop Structural Proof Theory
Event type
Event for scientific audience
Start date
26-10-2011
End date
29-10-2011
Location
Innsbruck
Country
Austria
Solo Exhibition
Solo Exhibition
Event format Veranstaltungsformat
On Site
Date issued
Results 1-2 of 2 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Woltzenlogel-Paleo, Bruno | A Deep Natural Deduction Calculus | Präsentation Presentation | 2011 | |
| 2 | Woltzenlogel-Paleo, Bruno | Compression of Propositional Resolution Proofs | Präsentation Presentation | 2011 |