Workshop on Proof Theory, University Utrecht

View Statistics Email Alert RSS Feed

Description

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
Europe
 
Solo Exhibition
Solo Exhibition
Event format Veranstaltungsformat
On Site

Publications Publikationen


Results 1-3 of 3 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Baaz, Matthias Elemetary cut-elimination for prenex cuts in disjunction free LJPräsentation Presentation2015
2Afshari, Bahareh On Herbrand confluence for first-order logicPräsentation Presentation2015
3Leigh, Graham Reflection and TruthPräsentation Presentation2015