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 81-100 of 840 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
81Bydzovsky, Jan ; Krajicek, Jan ; Oliveira, Igor Consistency of circuit lower bounds with bounded theoriesArtikel Article 2020
82Bazhenov, Nikolay ; Mustafa, Manat ; San Mauro, Luca ; Sorbi, Andrea ; Yamaleev, Mars Classifying equivalence relations in the Ershov hierarchyArtikel Article 2020
83Ruffino, Marco ; San Mauro, Luca ; Venturi, Giorgio Speech acts in mathematicsArtikel Article 2020
84Aguilera, Juan P. ; Müller, Sandra Projective Games on the RealsArtikel Article 2020
85AGUILERA, J. P. Fσ Games And Reflection In L(ℝ)Artikel Article 2020
86AGUILERA, J. P. ; BLUE, D. W. Provably Δ₁ GamesArtikel Article 2020
87Hetzl, Stefan ; Vierling, Jannik Clause Set Cycles and InductionArtikel Article 2020
88Delle Rose, Valentino ; San Mauro, Luca Francesco ; Sorbi, Andrea Word problems and ceersArtikel Article 2020
89Bazhenov, N. A. ; Mustafa, M. ; San Mauro, L. ; Yamaleev, M. M. Minimal Equivalence Relations in Hyperarithmetical and Analytical HierarchiesArtikel Article 2020
90Aguilera, Juan P. ; Müller, Sandra The Consistency Strength of Long Projective DeterminacyArtikel Article 2020
91Aschieri, Federico ; Hetzl, Stefan ; Weller, Daniel Expansion trees with cutArtikel Article 8-Oct-2019
92Sauras Altuzarra, Lorenzo Hilbert's 10th problemPresentation Vortrag26-Sep-2019
93Fokina-2019-Mathematical Logic Quarterly-vor.pdf.jpgFokina, Ekaterina ; Rossegger, Dino ; San Mauro, Luca Francesco Bi‐embeddability spectra and bases of spectraArticle Artikel Sep-2019
94Aguilera Ozuna, Juan Pablo ; Baaz, Matthias Unsound Inferences Make Proofs ShorterArtikel Article Mar-2019
95Amidei, Jacopo ; Andrews, Uri ; Piangiani, Duccio ; San Mauro, Luca Francesco ; Sorbi, Andrea Trial and error mathematics: Dialectical systems and completions of theoriesArtikel Article Jan-2019
96Fokina, Ekaterina ; Rossegger, Dino ; San Mauro, Luca Measuring the complexity of reductions between equivalence relationsArtikel Article 2019
97Ebner, Gabriel Herbrand Construictivization for Automated Intuitionistic Theorem ProvingKonferenzbeitrag Inproceedings2019
98Kuich, Werner ; Droste, Manfred ; Dziadek, Sven Greibach Normal Form for omega-Algebraic Systems and Weighted Simple omega-Pushdown AutomataKonferenzbeitrag Inproceedings2019
99Fokina, Ekaterina ; Harizanov, Valentina ; Turetsky, Daniel Computability-theoretic categoricity and Scott familiesArtikel Article 2019
100Droste, Manfred ; Dziadek, Sven ; Kuich, Werner Weighted simple reset pushdown automataArtikel Article 2019