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

PreviewAuthors / EditorsTitleTypeIssue Date
501Baaz, M. ; Metcalfe, G. Herbrand's theorem, skolemization and proof systems for first-order Lukasiewicz logicArtikel Article 2010
502Jenei, Sándor A geometric look at residuated lattices with applicationsPräsentation Presentation2009
503Jenei, Sándor An overview on the algebraic aspects of residuated monoids on #lt0,1#gt with outlooksPräsentation Presentation2009
504Kuich, Werner Cycle-free finite automata in partial iterative semiringsPräsentation Presentation2009
505Droste, Manfred ; Kuich, Werner Semirings and formal power seriesBuchbeitrag Book Contribution2009
506Esik, Zoltan ; Kuich, Werner Finite automataBuchbeitrag Book Contribution2009
507Baaz, Matthias Bedeutung des Gödel'schen UnvollständigkeitssatzesPräsentation Presentation2009
508Baaz, Matthias Der Gödel'sche UnvollständigkeitssatzPräsentation Presentation2009
509Baaz, Matthias Epsilon calculus in classical and nonclassical logicsPräsentation Presentation2009
510Jenei, Sándor Residuated latticesPräsentation Presentation2009
511Baaz, Matthias Reasoning in the presence of formal contradictionsPräsentation Presentation2009
512Baaz, Matthias ; Ciabattoni, Agata ; Preining, Norbert SAT in monadic Gödel logics: a borderline between decidability and undecidabilityPräsentation Presentation2009
513Kuich, Werner Endliche Automaten über partiellen Conway HalbringenPräsentation Presentation2009
514Baaz, Matthias AnalyticityPräsentation Presentation2009
515Preining, Norbert Semantic for first order Gödel logics - the 9-headed hydraPräsentation Presentation2009
516Baaz, Matthias ; Ciabattoni, Agata On the limits of analiticityPräsentation Presentation2009
517Baaz, Matthias Intuitionistic logic and reasoning with vague informationPräsentation Presentation2009
518Baaz, Matthias Gödel logics: the monadic classPräsentation Presentation2009
519Jenei, Sándor On the geometry of residuated lattices with applicationsPräsentation Presentation2009
520Droste, Manfred ; Kuich, Werner ; Vogler, Heiko Handbook of weighted automataBuch Book2009