3rd. FISP Workshop

View Statistics Email Alert RSS Feed

Description

Event name
3rd. FISP Workshop
 
Event type
Event for scientific audience
 
Start date
07-12-2018
End date
08-12-2018
 
Location
Wien
Country
Austria
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Results 1-6 of 6 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Hetzl, Stefan A simplified proof of the epsilon theoremsPräsentation Presentation2018
2Vierling, Jannik Clause Set Cycles and InductionPräsentation Presentation2018
3Ebner, Gabriel Herbrand constructivization for automated intuitionistic theorem provingPräsentation Presentation2018
4Aguilera Ozuna, Juan Pablo Systems of determinacy in third-order arithmeticPräsentation Presentation2018
5Rossegger, Dino The complexity of scattered linear orderingsPräsentation Presentation2018
6Bydzovsky, Jan Unprovability of circuit upper bounds in the Cook's theory PVPräsentation Presentation2018