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 181-200 of 840 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
181Aschieri, Federico Games Semantics and the Complexity of Cut-EliminationPräsentation Presentation2017
182Hetzl, Stefan System Description: General Architecture for Proof TheoryPräsentation Presentation2017
183Ebner, Gabriel ; de Moura, Leonardo ; Roesch, Jared ; Ullrich, Sebastian The Lean Theorem ProverPräsentation Presentation2017
184Fokina, Ekaterina ; Rossegger, Dino ; San Mauro, Luca Francesco Computable Bi-Embeddable Categoricity of Equivalence RelationsPräsentation Presentation2017
185Rossegger, Dino The complexity of embeddings between bi-embeddable structuresPräsentation Presentation2017
186Rossegger, Dino Bi-embeddability spectra of structuresPräsentation Presentation2017
187Gomez Ramirez, Danny Arlen de Jesus Mathematics: a meta-isomorphic version of classic mathematics based on proper classesPräsentation Presentation2017
188Kuich, Werner Fixed Point Theory and Matrix SemiringsPräsentation Presentation2017
189Lolic, Anela A Sequent-Based Translation into the Epsilon FormatPräsentation Presentation2017
190Fokina, Ekaterina Bi-Embeddability Spectra of StructuresPräsentation Presentation2017
191Lolic, Anela Proof normalization and expansion proofsPräsentation Presentation2017
192Lolic, Anela ; Baaz, Matthias First-order interpolation from propositional interpolation: a proof theoretic approach on a semantic basisPräsentation Presentation2017
193Aschieri, Federico Intermediate Logics: from Natural Deduction in Parallel ComputationPräsentation Presentation2017
194Baaz, Matthias On the benefit of unsound rulesPräsentation Presentation2017
195Aschieri, Federico Curry-Howard correspondencePräsentation Presentation2017
196Baaz, Matthias ; Aguilera Ozuna, Juan Pablo Unsound Inferences make proofs shorterPräsentation Presentation2017
197Aguilera Ozuna, Juan Pablo Proofs on systems with unsound rulesPräsentation Presentation2017
198Baaz, Matthias Gödel Logics: proof theory and semanticsPräsentation Presentation2017
199Kuich, Werner Weighted Finite AutomataPräsentation Presentation2017
200Rossegger, Dino Computable structure theory and the bi-embeddability relationPräsentation Presentation2017