Vienna-Paris Wokshop on Proofs and Complexity
Event name
Vienna-Paris Wokshop on Proofs and Complexity
Event type
Event for scientific audience
Start date
13-12-2004
End date
14-12-2004
Location
Paris, Frankreich
Country
Austria
Solo Exhibition
Solo Exhibition
Event format Veranstaltungsformat
On Site
Results 1-5 of 5 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Ciabattoni, Agata | Automated generation of analytic calculi for logics with linearity | Präsentation Presentation | 2004 | |
| 2 | Preining, Norbert | Gödel logics and Kripke frames | Präsentation Presentation | 2004 | |
| 3 | Terwijn, Sebastiaan A. | Logic and probabilistic induction | Präsentation Presentation | 2004 | |
| 4 | Baaz, Matthias | Skolem functions: the hidden quantifier complexity of proofs | Präsentation Presentation | 2004 | |
| 5 | Beckmann, Arnold | Viewing proofs in bounded arithmetic as programs | Präsentation Presentation | 2004 |