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

PreviewAuthor(s)TitleTypeIssue Date
521Baaz, Matthias ; Fasching, Oliver Note on witnessed Gödel logics with DeltaArtikel Article2009
522Jenei, Sándor On the reflection invariance of residuated chainsArtikel Article2009
523Baaz, Matthias Foreword: Kurt Gödel Centenary Research Prize FellowshipsArtikel Article2009
524Aleshnikov, S.. ; Boltnev, J. F. ; Esik, Zoltan ; Ishanov, S. ; Kuich, Werner Formalnije jaziki i avtomaty V: pary polukoltso-polumodul Konveya i konechnyje avtomaty (Formal languages and automata V: Conway semiring-semimodule pairs and finite automata).Artikel Article2009
525Baaz, M. ; Metcalfe, G. Fuzzy logic cornerArtikel Article2009
526Bauwens, Bruno ; Terwijn, Sebastiaan A. Notes on sum-tests and independence testsArtikel Article2009
527Terwijn, Sebastiaan A. Decidability and undecidability in probability logicKonferenzbeitrag Inproceedings 2009
528Baaz, Matthias ; Ciabattoni, Agata ; Preining, Norbert SAT in monadic Gödel logics: a borderline between decidability and undecidabilityKonferenzbeitrag Inproceedings2009
529Avron, Arnon ; Ciabattoni, Agata ; Zamansky, Anna Canonical calculi: invertibility, axiom, expansion and (non)-determinismKonferenzbeitrag Inproceedings2009
530Ciabattoni, Agata ; Straßburger, Lutz ; Terui, Kazushige Expanding the realm of systematic proof theoryKonferenzbeitrag Inproceedings 2009
531Bloom, Stephen L. ; Ésik, Zoltan ; Kuich, Werner Cycle-Free Finite Automata in Partial Iterative SemiringsArtikel Article2009
532Jenei, Sándor An overview on the algebraic aspects of residuated monoids on [0, 1] with outlooksKonferenzbeitrag Inproceedings 2009
533Jenei, Sándor On the Structure of Finite Involutive Uninorm ChainsKonferenzbeitrag Inproceedings2009
534Baaz, Matthias Recollections of a non-contradictory logicianBuchbeitrag Book Contribution 2009
535Adlassnig, Klaus-Peter ; Ciabattoni, Agata ; Vetterlein, Thomas A Formal Logical Framework for Cadiag-2Konferenzbeitrag Inproceedings 2009
536Ciabattoni, Agata ; Vetterlein, Thomas On the (fuzzy) logical content of CADIAG-2Artikel Article 2009
537Kroonenberg, Siep ; Kotucha, Reinhard ; Preining, Norbert The new TeX live installerPräsentation Presentation2008
538Preining, Norbert TeX live's new infrastructurePräsentation Presentation2008
539Preining, Norbert Continuous Fraissé conjecturePräsentation Presentation2008
540Preining, Norbert Introduction to Gödel logicsPräsentation Presentation2008