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.003 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
107San Mauro, Luca Francesco Quotient Presentations of StructuresPräsentation Presentation2019
108San Mauro, Luca Francesco Inductive Inference and Structures: How to Learn Equality in the LimitPräsentation Presentation2019
109Baaz, Matthias ; Lolic, Anela Note on Globally Sound Analytic Calculi for Quantifier MacrosKonferenzbeitrag Inproceedings2019
110Cerna, David ; Leitsch, Alexander ; Lolic, Anela Schematic Refutations of Formula SchemataPreprint Preprint2019
111Bydzovsky, Jan ; Krajicek, Jan ; Carboni Oliveira, Igor Consistency of circuit lower bounds with bounded theoriesPreprint Preprint2019
112Bydzovsky, Jan Ultrapower Constructions and Proof ComplexityPräsentation Presentation2018
113San Mauro, Luca Francesco Trial and error mathematics: dialectical, p-dialectical and q-dialectical systemsPräsentation Presentation2018
114San Mauro, Luca Francesco Speech Acts and the Ontology of MathematicsPräsentation Presentation2018
115San Mauro, Luca Francesco Classifying Delta² equivalence relations via computable reducibilityPräsentation Presentation2018
116Baaz, Matthias The Logical Structure of Legal ReasoningPräsentation Presentation2018
117Kuich, Werner Weighted Pushdown AutomataPräsentation Presentation2018
118Lolic, Anela Does Gödel Logic Interpolate?Präsentation Presentation2018
119Gomez Ramirez, Danny Arlen de Jesus On the meta-generation of the notion of Lie Groups and related issuesPräsentation Presentation2018
120Lolic, Anela A Resolution Calculus for Recursive Clause SetsPräsentation Presentation2018