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

PreviewAuthor(s)TitleTypeIssue Date
41Sauras Altuzarra, Lorenzo On the divisibility of Fermat numbersPräsentation Presentation2021
42Sauras Altuzarra, Lorenzo Generalization of proofs and codification of graph familiesPräsentation Presentation2021
43Baaz, Matthias Analytic calculi for quantifier macrosPräsentation Presentation2021
44Aguilera, Juan P. ; Müller, Sandra ; Schlicht, Philipp Long Games and σ-Projective SetsArtikel Article 2021
45Fokina, Ekaterina Algorithmic Learning of StructuresPräsentation Presentation2021
46Fokina, Ekaterina Bi-embeddability and computable structures.Präsentation Presentation2021
47Fokina, Ekaterina Learning structures.Präsentation Presentation2021
48Sauras Altuzarra, Lorenzo Divisibility criteria for Fermat numbers.Präsentation Presentation2021
49Csima, Barbara F. ; Rossegger, Dino ; Yu, Daniel Positive Enumerable FunctorsKonferenzbeitrag Inproceedings2021
50AGUILERA, JUAN P. The Order of ReflectionArtikel Article 2021
51AGUILERA, JUAN P. Shortening Clopen GamesArtikel Article 2021
52Baaz, Matthias ; Lolic, Anela Towards a proof theory for Henkin quantifiersArtikel Article 2021
53Aguilera Ozuna, Juan Pablo ; Freund, Anton ; Rathjen, Michael ; Weiermann, Andreas Ackermann and Goodstein go functorial.Artikel Article 2021
54Aguilera, Juan Pablo ; Bydzovsky, Jan ; Fernández-Duque, David A non-hyperarithmetical Gödel logic.Beitrag in Tagungsband Inproceedings 2021
55Fokina, Ekaterina "Learning structures"Präsentation Presentation2021
56Fokina, Ekaterina Bi-embeddability and computable structures.Präsentation Presentation2021
57Fokina, Ekaterina Learning structures.Präsentation Presentation2021
58Baaz, Matthias Incompleteness and attempted proofs of consistencyPräsentation Presentation2021
59Fokina, Ekaterina Algorithmic Learning of StructuresPräsentation Presentation2021
60Aguilera Ozuna, Juan Pablo The 12 Consequences of a theoryPräsentation Presentation2021