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

PreviewAuthor(s)TitleTypeIssue Date
1Prunescu, Mihai ; Sauras Altuzarra, Lorenzo An arithmetic term for the factorial functionArticle Artikel 1-Feb-2024
2Kawakami Pacheco, Leonardo Epistemic possibility in intuitionistic epistemic logicPresentation Vortrag11-Dec-2023
3Kawakami Pacheco, Leonardo Game Semantics for the Constructive mu-calculusPresentation Vortrag16-Nov-2023
4Baaz, Matthias Andrew's Skolemization my shorten proofs non-elementarilyPresentation Vortrag13-Nov-2023
5Kawakami Pacheco, Leonardo Towards a characterization of the μ-calculus' collapse to modal logicPresentation Vortrag10-Nov-2023
6Fermüller, Christian ; Freiman, Robert ; Lang, Timo Achim Game Models of Producer-Consumer Interactions and Substructural Sequent SystemsPresentation Vortrag27-Sep-2023
7Kawakami Pacheco, Leonardo The reverse mathematics of ω-automataPresentation Vortrag9-Sep-2023
8Csima, Barbara F. ; Rossegger, Dino Degrees of categoricity and treeable degreesArticle Artikel 11-Aug-2023
9Sauras Altuzarra, Lorenzo A geometric description of the factors of Fermat numbersPresentation VortragJul-2023
10Montalbán, Antonio ; Rossegger, Dino The structural complexity of models of arithmeticArticle Artikel 29-Jun-2023
11Kawakami Pacheco, Leonardo The µ-calculus’ collapse on variations of S5Inproceedings Konferenzbeitrag6-Jun-2023
12Sauras Altuzarra, Lorenzo Covers and point-latticesPresentation Vortrag4-May-2023
13Sauras Altuzarra, Lorenzo Aplicaciones recientes del método de generalización de Baaz a la teoría de númerosPresentation Vortrag30-Mar-2023
14Rossegger, Dino Pairs of Structures: Variations and ApplicationPresentation Vortrag28-Mar-2023
15Aguilera Ozuna, Juan Pablo ; Pakhomov, Fedor The Π¹₂ consequences of a theoryArticle Artikel Mar-2023
16Sauras Altuzarra, Lorenzo Correction to: Some applications of Baaz's generalization method to the study of the factors of Fermat numbersArticle Artikel11-Feb-2023
17C.R.Cimadore ; L.A.Rueda ; Sauras Altuzarra, Lorenzo ; N.Thome Lattice properties of partial orders for complex matrices via orthogonal projectorsArticle Artikel 26-Dec-2022
18Altuzarra, Lorenzo Sauras Some properties of the factors of Fermat numbersArticle Artikel 15-Nov-2022
19Baaz, Matthias ; Lolic, Anela First-Order Interpolation Derived from Propositional InterpolationPresentation VortragNov-2022
20Sauras Altuzarra, Lorenzo Some applications of Baaz's generalization method to the study of the factors of Fermat numbersArticle Artikel 30-Sep-2022