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
101Kuich, Werner ; Droste, Manfred ; Dziadek, Sven Greibach Normal Form for omega-Algebraic Systems and Weighted Simple omega-Pushdown AutomataKonferenzbeitrag Inproceedings2019
102Fokina, Ekaterina ; Harizanov, Valentina ; Turetsky, Daniel Computability-theoretic categoricity and Scott familiesArtikel Article 2019
103Droste, Manfred ; Dziadek, Sven ; Kuich, Werner Weighted simple reset pushdown automataArtikel Article 2019
104San Mauro, Luca Francesco ; Fokina, Ekaterina ; Koetzing, Timo Limit Learning Equivalence StructuresKonferenzbeitrag Inproceedings2019
105Leitsch, Alexander ; Lolic, Anela Extraction of Expansion TreesArtikel Article 2019
106Bazhenov, Nicolay ; Benavente-Fokina, Ekaterina ; Rossegger, Dino ; San Mauro, Luca Francesco Degrees of bi-embeddable categoricity of equivalence structuresArtikel Article 2019
107San Mauro, Luca Francesco Punctual equivalence relations and their punctual complexityPräsentation Presentation2019
108San Mauro, Luca Francesco The complexity of homomorphisms between groupsPräsentation Presentation2019
109San Mauro, Luca Francesco The global structure of countable equivalence relationsPräsentation Presentation2019
110San Mauro, Luca Francesco Quotient Presentations of StructuresPräsentation Presentation2019
111San Mauro, Luca Francesco Inductive Inference and Structures: How to Learn Equality in the LimitPräsentation Presentation2019
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