Helmut Veith Memorial Workshop
Event name
Helmut Veith Memorial Workshop
Event type
Event for scientific audience
Start date
01-02-2017
Location
Obergurgl
Country
Austria
Solo Exhibition
Solo Exhibition
Event format Veranstaltungsformat
On Site
Results 1-4 of 4 (Search time: 0.001 seconds).
Preview | Authors / Editors | Title | Type | Issue Date | |
---|---|---|---|---|---|
1 | Preining, Norbert | Classification of SAT and VAL in Gödel Logics | Präsentation Presentation | 2017 | |
2 | Baaz, Matthias | LKepsilon and the immediate reduction of arbitrary cuts to universal cuts | Präsentation Presentation | 2017 | |
3 | Lolic, Anela | Propositional Interpolation Induces First-Order Interpolation for Finitely-Valued Logics | Präsentation Presentation | 2017 | |
4 | Hetzl, Stefan | System Description: General Architecture for Proof Theory | Präsentation Presentation | 2017 |