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 121-140 of 840 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
121Gomez Ramirez, Danny Arlen de Jesus On the development of artificial agents for mathematical researchPräsentation Presentation2018
122San Mauro, Luca Francesco Measuring the Complexity of Reductions between Equivalence RelationsPräsentation Presentation2018
123San Mauro, Luca Francesco ; Ruffino, Marco ; Venturi, Giorgio Illocutionary Acts in MathematicsPräsentation Presentation2018
124San Mauro, Luca Francesco Learning equivalence structuresPräsentation Presentation2018
125San Mauro, Luca Francesco Computable reducibility and its variantsPräsentation Presentation2018
126Droste, Manfred ; Dziadek, Sven ; Esik, Zoltan ; Kuich, Werner Logics for Weighted ω-Pushdown AutomataPräsentation Presentation2018
127Baaz, Matthias Cut-elimination for Intuitionistic LogicPräsentation Presentation2018
128Lolic, Anela First-Order Interpolation of Non-Classical Logics Derived from Propositional InterpolationPräsentation Presentation2018
129Baaz, Matthias Unsound Inferences Make Proofs ShorterPräsentation Presentation2018
130Baaz, Matthias The concept of proofPräsentation Presentation2018
131Bydzovsky, Jan Unprovability of circuit upper bounds in the Cook's theory PVPräsentation Presentation2018
132Baaz, Matthias Wahrheit und BeweisPräsentation Presentation2018
133Vierling, Jannik Clause Set Cycles and InductionPräsentation Presentation2018
134Rossegger, Dino The complexity of scattered linear orderingsPräsentation Presentation2018
135Baaz, Matthias The Concept of ProofPräsentation Presentation2018
136Baaz, Matthias The concept of proofPräsentation Presentation2018
137Hetzl, Stefan A simplified proof of the epsilon theoremsPräsentation Presentation2018
138Aguilera Ozuna, Juan Pablo Systems of determinacy in third-order arithmeticPräsentation Presentation2018
139Ebner, Gabriel Herbrand constructivization for automated intuitionistic theorem provingPräsentation Presentation2018
140Baaz, Matthias Logical Aspects of Legal ReasoningPräsentation Presentation2018