Forschungsbereich Computational Logic

View Statistics Email Alert RSS Feed

Details

Organization Name (de) Name der Organisation (de)
E104-02 - Forschungsbereich Computational Logic
 
Code Kennzahl
E104-02
 
Type of Organization Organisationstyp
Research Division
Parent OrgUnit Übergeordnete Organisation
 
Active Aktiv
 

OrgUnit's Publications


Results 201-220 of 840 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
201Baaz, Matthias Gödel Logics and the fully boxed fragment of LTLPräsentation Presentation2017
202Aguilera Ozuna, Juan Pablo The Infinite Epsilon CalculusPräsentation Presentation2017
203Hetzl, Stefan Hilbert's Larger ProgrammePräsentation Presentation2017
204Baaz, Matthias Epsilon Calculus IIPräsentation Presentation2017
205Baaz, Matthias On the benefit of unsound rulesPräsentation Presentation2017
206Gomez Ramirez, Danny Arlen de Jesus Cognitively-Inspired Formal Models of Scientific InventionPräsentation Presentation2017
207Rossegger, Dino Computable bi-embeddable categoricity of equivalence structuresPräsentation Presentation2017
208Lolic, Anela ; Leitsch, Alexander Expansion Trees from Non-Normalized Proofs with CERESPräsentation Presentation2017
209Fokina, Ekaterina ; Rossegger, Dino ; San Mauro, Luca Francesco Complexity of Structures Relative to Equivalence RelationsPräsentation Presentation2017
210Aschieri, Federico Games Semantics and the Complexity of Cut-EliminationPräsentation Presentation2017
11Baaz, Matthias Short Herbrand Disjunctions Generated by Unusual Forms of Cut-EliminationPräsentation Presentation2017
12Aguilera Ozuna, Juan Pablo The Infinite Epsilon CalculusPräsentation Presentation2017
13Fokina, Ekaterina Measuring the Complexity of Relations on Computable StructuresPräsentation Presentation2017
14Ebner, Gabriel Complexity of Decision Problems on TratgsPräsentation Presentation2017
15Baaz, Matthias LKepsilon and the immediate reduction of arbitrary cuts to universal cutsPräsentation Presentation2017
16Preining, Norbert Classification of SAT and VAL in Gödel LogicsPräsentation Presentation2017
17Baaz, Matthias ; Preining, Norbert On the Classification of First Order Gödel LogicsPräsentation Presentation2017
18Baaz, Matthias First-Order Interpolation and Interpolating Proofs SystemsPräsentation Presentation2017
19Baaz, Matthias Epsilon calculus and intermediate logicsPräsentation Presentation2017
20Baaz, Matthias Intermediäre LogikPräsentation Presentation2017