Workshop on Proof Theory, University Utrecht
Event name
Workshop on Proof Theory, University Utrecht
Event type
Event for scientific audience
Start date
16-04-2015
End date
18-04-2015
Location
Utrecht, Niederlande
Country
Solo Exhibition
Solo Exhibition
Event format Veranstaltungsformat
On Site
Results 1-3 of 3 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Baaz, Matthias | Elemetary cut-elimination for prenex cuts in disjunction free LJ | Präsentation Presentation | 2015 | |
| 2 | Afshari, Bahareh | On Herbrand confluence for first-order logic | Präsentation Presentation | 2015 | |
| 3 | Leigh, Graham | Reflection and Truth | Präsentation Presentation | 2015 |