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

PreviewAuthor(s)TitleTypeIssue Date
61Baaz, Matthias On the benefit of unsound rulesPräsentation Presentation2021
62Aguilera, J.P. Determinate Logic and the Axiom of ChoiceArtikel Article 2020
63Baaz, Matthias Gödel logics - Enduring Consequences of a Short PaperPräsentation Presentation2020
64Baaz, Matthias Mathematical Logic: Proof Theory, Constructive MathematicsPräsentation Presentation2020
65Baaz, Matthias Cut Elimination as Error Correcting DevicePräsentation Presentation2020
66Baaz, Matthias Wittgenstein's Traktat from the Perspective of a Contemporary LogicianPräsentation Presentation2020
67San Mauro, Luca Francesco Beyond isomorphism: The interplay between structures and computationPräsentation Presentation2020
68San Mauro, Luca Francesco Revisiting the complexity of word problemsPräsentation Presentation2020
69San Mauro, Luca Francesco Word problems and cheersPräsentation Presentation2020
70San Mauro, Luca Francesco Learning algebraic structuresPräsentation Presentation2020
71Fokina, Ekaterina Learning structuresPräsentation Presentation2020
72Fokina, Ekaterina On-the-fly classification of structuresPräsentation Presentation2020
73Baaz, Matthias ; Lolic, Anela First-order interpolation derived from propositional interpolationArtikel Article 2020
74Aguilera, J. Determined Admissible SetsArtikel Article 2020
75Droste, Manfred ; Dziadek, Sven ; Kuich, Werner Nivat-Theorem and Logic for Weighted Pushdown Automata on Infinite WordsKonferenzbeitrag Inproceedings2020
76Baaz, Matthias ; Lolic, Anela A Globally Sound Analytic Calculus for Henkin QuantifiersKonferenzbeitrag Inproceedings2020
77Bazhenov, Nikolay ; Fokina, Ekaterina ; San Mauro, Luca Learning families of algebraic structures from informantArtikel Article 2020
78Afshari, Bahareh ; Hetzl, Stefan ; Leigh, Graham E. Herbrand's theorem as higher order recursionArtikel Article 2020
79Bydžovský, Jan ; Müller, Moritz Polynomial time ultrapowers and the consistency of circuit lower boundsArtikel Article 2020
80Hetzl, Stefan ; Zivota, Sebastian Decidability of affine solution problemsArtikel Article 2020