Workshop on Proof Theory

View Statistics Email Alert RSS Feed

Description

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.001 seconds).

PreviewAuthor(s)TitleTypeIssue 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