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

Publications Publikationen



Results 1-2 of 2 (Search time: 0.0 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Zamansky, Anna On applications of non-deterministic semantics for proof theoretical investigationsPräsentation Presentation2012
2Hetzl, Stefan On the complexity of grammars and first-order proofsPräsentation Presentation2015