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

PreviewAuthor(s)TitleTypeIssue Date
21Baaz, Matthias Epsilon CalculusPresentation Vortrag22-Sep-2022
22Baaz, Matthias ; Fermüller, Christian ; Preining, Norbert Cut-Elimination for a Hypersequent Calculus for First-Order Gödel Logic over (0,1) with DeltaPresentation VortragSep-2022
23Baaz, Matthias Gödel logics - the dominance of orderPresentation VortragSep-2022
24Sauras Altuzarra, Lorenzo Special lattices of orthogonal projectorsPresentation VortragSep-2022
25Baaz-2022-Cut-Elimination for a Hypersequent Calculus for First-Order Go...-smur.pdf.jpgBaaz, Matthias ; Fermüller, Christian ; Preining, Norbert Cut-Elimination for a Hypersequent Calculus for First-Order Gödel Logic over (0,1) with DeltaPresentation Vortrag Sep-2022
26Baaz, Matthias Teaching LogicPresentation Vortrag1-Aug-2022
27Baaz, Matthias The proof-theoretic analysis of incorrect proofsPresentation VortragAug-2022
28Rossegger-2022-The Structural Complexity of Models of Arithmetic-ao.pdf.jpgRossegger, Dino The structural complexity of models of arithmeticPresentation Vortrag 1-Jul-2022
29Rossegger-2022-The structural complexity of models of arithmetic-ao.pdf.jpgRossegger, Dino The structural complexity of models of arithmeticPresentation Vortrag Apr-2022
30Cerna-2021-Journal of Automated Reasoning-vor.pdf.jpgCerna, David M. ; Leitsch, Alexander ; Lolic, Anela Schematic Refutations of Formula SchemataArtikel Article Jun-2021
31Aguilera, Juan P ; Lubarsky, Robert S Feedback HyperjumpArtikel Article 2021
32Aguilera, J. P. Long Borel GamesArtikel Article 2021
33Baaz, Matthias ; Leitsch, Alexander ; Lolic, Anela An abstract form of the first epsilon theoremArtikel Article 2021
34Bazhenov, Nikolay ; Fokina, Ekaterina ; Rossegger, Dino ; San Mauro, Luca Degrees of bi-embeddable categoricityArtikel Article 2021
35Bazhenov, Nikolay ; Rossegger, Dino ; Zubkov, Maxim On Bi-Embeddable Categoricity of Algebraic StructuresArtikel Article 2021
36ROSSEGGER, DINO Degree Spectra of Analytic Complete Equivalence Relations.Artikel Article 2021
37Kuich, Werner Finite Automata over Conway SemiringsPräsentation Presentation2021
38Bydzovsky, Jan The Number of AxiomsPräsentation Presentation2021
39Sauras Altuzarra, Lorenzo Generalization of arithmetical proofsPräsentation Presentation2021
40Baaz, Matthias Kurt Gödel and Alfred Tarski: The Extremes of LogicPräsentation Presentation2021