Workshop on Proof Theory
Event name
Workshop on Proof Theory
Event type
Event for scientific audience
Start date
02-05-2012
End date
03-05-2012
Location
Muenchenwiler, Switzerland
Country
Solo Exhibition
Solo Exhibition
Event format Veranstaltungsformat
On Site
Results 1-2 of 2 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Zamansky, Anna | On applications of non-deterministic semantics for proof theoretical investigations | Präsentation Presentation | 2012 | |
| 2 | Hetzl, Stefan | On the complexity of grammars and first-order proofs | Präsentation Presentation | 2015 |