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

PreviewAuthor(s)TitleTypeIssue Date
101San Mauro, Luca Francesco ; Fokina, Ekaterina ; Koetzing, Timo Limit Learning Equivalence StructuresKonferenzbeitrag Inproceedings2019
102Leitsch, Alexander ; Lolic, Anela Extraction of Expansion TreesArtikel Article 2019
103Bazhenov, Nicolay ; Benavente-Fokina, Ekaterina ; Rossegger, Dino ; San Mauro, Luca Francesco Degrees of bi-embeddable categoricity of equivalence structuresArtikel Article 2019
104San Mauro, Luca Francesco Punctual equivalence relations and their punctual complexityPräsentation Presentation2019
105San Mauro, Luca Francesco The complexity of homomorphisms between groupsPräsentation Presentation2019
106San Mauro, Luca Francesco The global structure of countable equivalence relationsPräsentation Presentation2019
7San Mauro, Luca Francesco Quotient Presentations of StructuresPräsentation Presentation2019
8San Mauro, Luca Francesco Inductive Inference and Structures: How to Learn Equality in the LimitPräsentation Presentation2019
9Baaz, Matthias ; Lolic, Anela Note on Globally Sound Analytic Calculi for Quantifier MacrosKonferenzbeitrag Inproceedings2019
10Cerna, David ; Leitsch, Alexander ; Lolic, Anela Schematic Refutations of Formula SchemataPreprint Preprint2019
11Bydzovsky, Jan ; Krajicek, Jan ; Carboni Oliveira, Igor Consistency of circuit lower bounds with bounded theoriesPreprint Preprint2019
12Bydzovsky, Jan Ultrapower Constructions and Proof ComplexityPräsentation Presentation2018
13San Mauro, Luca Francesco Trial and error mathematics: dialectical, p-dialectical and q-dialectical systemsPräsentation Presentation2018
14San Mauro, Luca Francesco Speech Acts and the Ontology of MathematicsPräsentation Presentation2018
15San Mauro, Luca Francesco Classifying Delta² equivalence relations via computable reducibilityPräsentation Presentation2018
16Baaz, Matthias The Logical Structure of Legal ReasoningPräsentation Presentation2018
17Kuich, Werner Weighted Pushdown AutomataPräsentation Presentation2018
18Lolic, Anela Does Gödel Logic Interpolate?Präsentation Presentation2018
19Gomez Ramirez, Danny Arlen de Jesus On the meta-generation of the notion of Lie Groups and related issuesPräsentation Presentation2018
20Lolic, Anela A Resolution Calculus for Recursive Clause SetsPräsentation Presentation2018