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

PreviewAuthor(s)TitleTypeIssue Date
541Baaz, Matthias Proof theory of Gödel logicsPräsentation Presentation2008
542Preining, Norbert TeX live 2008 and the TeX live managerPräsentation Presentation2008
543Preining, Norbert Herbrand disjunctions for the disentangled fragment of Gödel logicPräsentation Presentation2008
544Preining, Norbert Quantified propositional Gödel logicsPräsentation Presentation2008
545Baaz, Matthias Juridical logicPräsentation Presentation2008
546Preining, Norbert TeX live 2008Präsentation Presentation2008
547Bloom, Stephen L. ; Esik, Zoltan ; Kuich, Werner Partial Conway and Iteration SemiringsArtikel Article2008
548Aleshnikov, S.. ; Boltnev, J. F. ; Esik, Zoltan ; Ishanov, S. ; Kuich, Werner Formalnyje jaziki i automaty IV: Transduktory i abstraktnyje semejstva (Formal languages and automata IV: Transducers and abstract families).Artikel Article2008
549Jenei, Sándor Geometrical methods in the investigation of residuated structuresPräsentation Presentation2008
550Jenei, Sándor Structural description of a class of involutive uninorms by Skew-symmetrizationPräsentation Presentation2008
551Jenei, Sándor One more remark on the geometric description of residuated semigroupsPräsentation Presentation2008
552Baaz, Matthias Gödel logics with witnessing interpretationsPräsentation Presentation2008
553Ciabattoni, Agata From axioms to analytic rules in nonclassical logicsPräsentation Presentation2008
554Baaz, Matthias The S5 analoguous fragment of fuzzy logicsPräsentation Presentation2008
555Baaz, Matthias Proof theoretic aspects of cut-elimination by resolutionPräsentation Presentation2008
556Baaz, Matthias ; Hetzl, Stefan Cut-eliminationPräsentation Presentation2008
557Baaz, Matthias Towards a proof theory of analogical reasoningPräsentation Presentation2008
558Baaz, Matthias Cut-elimination by resolution and interpolationPräsentation Presentation2008
559Kuich, Werner Why we need semirings in automata theoryPräsentation Presentation2008
560Beckmann, Arnold ; Goldstern, Martin ; Preining, Norbert Continuous Fraïssé ConjectureArtikel Article2008