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

PreviewAuthors / EditorsTitleTypeIssue Date
441Baaz, Matthias Towards a proof theory of analogical reasoningPräsentation Presentation2011
442Zamansky, Anna Non-deterministic semantics and their applications in proof theoryPräsentation Presentation2011
443Fasching, Oliver Uniform provability of schemes in fragments of arithmeticPräsentation Presentation2011
444Baaz, Matthias Resolution based proof procedures for First Order Gödel logicsPräsentation Presentation2011
445Picado Muiño, David A probabilistic interpretation of the medical expert system CADIAG-2Artikel Article2011
446Aleshnikov, S.. ; Boltnev, J. F. ; Esik, Zoltan ; Ishanov, S. ; Kuich, Werner Formalniye yazyki i avtomaty VII: formalniye ryady derevyev (Chast I). (Formal languages and automata VII: Formal tree series (Part I))Artikel Article2011
447Baaz, Matthias ; Hetzl, Stefan On the non-confluence of cut-eliminationArtikel Article2011
448Baaz, M. ; Iemhoff, R. Eskolemization in intuitionistic logicArtikel Article2011
449Cintula, P. ; Metcalfe, G. ; Noguera, C. Special issue on mathematical fuzzy logicArtikel Article2011
450Cintula, Petr ; Fermüller, Christian ; Godo, Lluis ; Hajek, Petr Understanding Vagueness. Logical, Philosophical and Linguistic PerspectivesBuch Book 2011
451Baaz, Matthias ; Papadimitriou, Christos H. ; Putnam, Hilary W. ; Scott, Dana S. ; Harper Jr., Charles L. Kurt Gödel and the foundations of mathematics: Horizon of truthBuch Book2011
452Baaz, Matthias ; Leitsch, Alexander Methods of Cut-EliminationBuch Book2011
453Kuich, Werner ; Rahonis, G. Algebraic Foundations in Computer ScienceBuch Book2011
454Kuich, Werner A unifying Kleene Theorem for weighted finite automataKonferenzbeitrag Inproceedings 2011
455Kuich, Werner Algebraic systems and pushdown automataKonferenzbeitrag Inproceedings 2011
456Ciabattoni, Agata ; Lahav, Ori ; Zamansky, Anna Basic constructive connectives, determinism and matrix-based semanticsKonferenzbeitrag Inproceedings 2011
457Arieli, Ofer ; Avron, Arnon ; Zamansky, Anna What is an ideal logic for reasoning with inconsistency?Konferenzbeitrag Inproceedings 2011
458Esik, Zoltan ; Kuich, Werner Axiomatizing rational seriesKonferenzbeitrag Inproceedings2011
459Arieli, O. ; Avron, A. ; Zamansky, A. Ideal paraconsistent logicsArtikel Article 2011
460Baaz, Matthias ; Ciabattoni, Agata ; Preining, Norbert First-order satisfiability in Gödel logics: an NP-complete fragmentArtikel Article 2011