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

PreviewAuthor(s)TitleTypeIssue Date
561Droste, Manfred ; Kuich, Werner ; Rahonis, G. Multi-valued MSO logics over words and treesArtikel Article2008
562Baaz, Matthias ; Zach, Richard Effective finite-valued approximations of general propositional logicsArtikel Article2008
563Baaz, Matthias ; Wojtylak, Piotr Generalizing proofs in monadic languagesArtikel Article2008
564Baaz, Matthias ; Metcalfe, George Herbrand theorems and skolemization for prenex fuzzy logicsArtikel Article2008
565CIABATTONI, AGATA ; LEITSCH, ALEXANDER Towards an algorithmic construction of cut-elimination proceduresArtikel Article2008
566Terwijn, Sebastiaan A. On the structure of the Medvedev latticeArtikel Article2008
567Baaz, Matthias ; Hetzl, Stefan ; Leitsch, Alexander ; Richter, Clemens ; Spohr, Hendrik CERES: An analysis of Fürstenberg's proof of the infinity of primesArtikel Article2008
568Baaz, M. ; Preining, N. Quantifier elimination for quantified propositional logics on Kripke frames of type omegaArtikel Article2008
569Ciabattoni, Agata ; Metcalfe, George Density eliminationArtikel Article2008
570Ciabattoni, Agata ; Galatos, Nikolaos ; Terui, Kazushige From Axioms to Analytic Rules in Nonclassical LogicsKonferenzbeitrag Inproceedings 2008
571Baaz, Matthias ; Ciabattoni, Agata ; Fermüller, Christian Cut elimination for first order Gödel logic by hyperclause resolutionKonferenzbeitrag Inproceedings2008
572Terwijn, Sebastiaan A. Intervals in the Medvedev latticePräsentation Presentation2007
573Preining, Norbert Completeness of hypersequent calculus for some first-order GödelPräsentation Presentation2007
574Preining, Norbert Fragments of Gödel logicsPräsentation Presentation2007
575Terwijn, Sebastiaan A. Embeddings into the Medvedev latticePräsentation Presentation2007
576Terwijn, Sebastiaan A. Constructive logic and computational latticesPräsentation Presentation2007
577Terwijn, Sebastiaan A. On the structure of the Medvedev latticePräsentation Presentation2007
578Terwijn, Sebastiaan A. Algorithmic randomness and Turing degreesPräsentation Presentation2007
579Terwijn, Sebastiaan A. Kripke models, distributive lattices, and Medvedev degreesPräsentation Presentation2007
580Preining, Norbert Gödel logics, Kripke frames, and beyondPräsentation Presentation2007