Collegium Logicum Proof Theory: Herbrand's Theorem Revisited

View Statistics Email Alert RSS Feed

Description

Event name
Collegium Logicum Proof Theory: Herbrand's Theorem Revisited
 
Event type
Event for scientific audience
 
Start date
25-05-2017
Location
Wien
Country
Austria
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Ebner, Gabriel Complexity of Decision Problems on TratgsPräsentation Presentation2017
2Lolic, Anela ; Leitsch, Alexander Expansion Trees from Non-Normalized Proofs with CERESPräsentation Presentation2017
3Aschieri, Federico Games Semantics and the Complexity of Cut-EliminationPräsentation Presentation2017
4Baaz, Matthias Short Herbrand Disjunctions Generated by Unusual Forms of Cut-EliminationPräsentation Presentation2017
5Hetzl, Stefan Some Observations on the Logical Foundations of Inductive Theorem ProvingPräsentation Presentation2017
6Aguilera Ozuna, Juan Pablo The Infinite Epsilon CalculusPräsentation Presentation2017