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

PreviewAuthor(s)TitleTypeIssue Date
161San Mauro, Luca Francesco ; Cintioli, Patrizio ; Sorbi, Andrea Direzioni della logica in Italia: la teoria (classica) della ricorsivitáBuchbeitrag Book Contribution2018
162San Mauro, Luca Francesco ; Piazza, Mario ; Pulcini, Gabriele Church-Turing Thesis, in PracticeBuchbeitrag Book Contribution2018
163Gomez Ramirez, Danny Arlen de Jesus ; Fulla, Marlon ; Rivera, Ismael ; Vélez, Juan D. ; Gallego, Edisson Category-Based Co-Generation of Seminal Concepts and Results in Algebra and Number Theory: Containment-Division and Goldbach RingsArtikel Article2018
164Eberhard, Sebastian ; Ebner, Gabriel ; Hetzl, Stefan Algorithmic Compression of Finite Tree Languages by Rigid Acyclic GrammarsArtikel Article 31-Oct-2017
165Baaz, Matthias ; Ciabattoni, Agata ; Gabbay, Dov M. ; Hetzl, Stefan ; Weller, Daniel PrefaceArtikel ArticleMar-2017
166Horsten, Leon ; Leigh, Graham Truth is SimpleArtikel Article Jan-2017
167Baaz, Matthias ; Preining, Norbert Gödel Logics and the Fully Boxed Fragment of LTLPräsentation Presentation2017
168San Mauro, Luca Francesco Pragmatics phenomena in the language of mathematicsPräsentation Presentation2017
169San Mauro, Luca Francesco Reducibility and bi-reducibility spectra of equivalence relationsPräsentation Presentation2017
170San Mauro, Luca Francesco Reducibility and bi-reducibility spectra of equivalence relationsPräsentation Presentation2017
171San Mauro, Luca Francesco Trial and error mathematicsPräsentation Presentation2017
172San Mauro, Luca Francesco Measuring the Complexity of Reductions between Equivalence RelationsPräsentation Presentation2017
173Baaz, Matthias On the benefit of unsound rulesPräsentation Presentation2017
174San Mauro, Luca Francesco Dialectical, p-dialectical and q-dialectical systemsPräsentation Presentation2017
175San Mauro, Luca Francesco Bi-embeddability spectra of structuresPräsentation Presentation2017
176Hetzl, Stefan On the Complexity of Grammars and First-Order ProofsPräsentation Presentation2017
177Hetzl, Stefan Some Observations on the Logical Foundations of Inductive Theorem ProvingPräsentation Presentation2017
178Hetzl, Stefan Some Observations on the Logical Foundations of Inductive Theorem ProvingPräsentation Presentation2017
179Lolic, Anela Propositional Interpolation Induces First-Order Interpolation for Finitely-Valued LogicsPräsentation Presentation2017
180Aguilera Ozuna, Juan Pablo Topologies on the Ordinals and Polymodal Provability LogicsPräsentation Presentation2017