LIX Colloquium 2013: Theory and Application of Formal Proofs
Event name
LIX Colloquium 2013: Theory and Application of Formal Proofs
Event type
Event for scientific audience
Start date
05-11-2013
End date
07-11-2013
Location
Paris, France
Country
Event format Veranstaltungsformat
On Site
Results 1-4 of 4 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Weller, Daniel ; Hetzl, Stefan | Expansion trees with cut | Präsentation Presentation | 2013 | |
| 2 | Eberhard, Sebastian ; Hetzl, Stefan | Guessing induction formulas for proofs of universal statements | Präsentation Presentation | 2013 | |
| 3 | Baaz, Matthias | Interpolation in finitely-valued first-order logics | Präsentation Presentation | 2013 | |
| 4 | Ciabattoni, Agata | Power andl limits of structural rules | Präsentation Presentation | 2013 |