2nd Workshop of the Joint Project "Structural and Computational Proof Theory"
Event name
2nd Workshop of the Joint Project "Structural and Computational Proof Theory"
Event type
Event for scientific audience
Start date
26-10-2011
End date
28-10-2011
Location
Innsbruck
Country
Austria
Event format Veranstaltungsformat
On Site
Results 1-5 of 5 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Zamansky, Anna | Non-deterministic semantics and their applications in proof theory | Präsentation Presentation | 2011 | |
| 2 | Ciabattoni, Agata | Nonclassical Proofs: theory, applications, and tools | Präsentation Presentation | 2011 | |
| 3 | Baaz, Matthias | Only finitely-valued Gödel logics admit the first epsilon-theorem | Präsentation Presentation | 2011 | |
| 4 | Leitsch, Alexander | Towards algorithmic cut-introduction | Präsentation Presentation | 2011 | |
| 5 | Fasching, Oliver | Uniform provability of schemes in fragments of arithmetic | Präsentation Presentation | 2011 |