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

PreviewAuthor(s)TitleTypeIssue Date
361Turunen, Esko Tapani Perfect Pavelka logicPräsentation Presentation2013
362Turunen, Esko Tapani Short communication: complete MV-Algebra valued Pavelka logicPräsentation Presentation2013
363Zamansky, Anna ; Avron, Arnon Invited tutorial on non-deterministic semantcsPräsentation Presentation2013
364Weller, Daniel ; Hetzl, Stefan Expansion trees with cutPräsentation Presentation2013
365Eberhard, Sebastian ; Hetzl, Stefan Guessing induction formulas for proofs of universal statementsPräsentation Presentation2013
366Baaz, Matthias Interpolation in finitely-valued first-order logicsPräsentation Presentation2013
367Kuich, Werner A new acceptance modus for weighted finite automataPräsentation Presentation2013
368Kuich, Werner A new acceptance modus for weighted finite automataPräsentation Presentation2013
369Kuich, Werner A new acceptance modus for weighted finite automataPräsentation Presentation2013
370Ciabattoni, Agata ; Lahav, Ori ; Spendier, Lara ; Zamansky, Anna Automated Support for the Investigation of Paraconsistent and Other LogicsKonferenzbeitrag Inproceedings2013
371Hetzl, Stefan Proofs and grammarsPräsentation Presentation2013
372Turunen, Esko Tapani MV-structure of intermediate SyllogismsPräsentation Presentation2013
373Aleshnikov, S.. ; Boltnev, J. F. ; Esik, Zoltan ; Ishanov, S. ; Kuich, Werner Sovremennaya Teoriya AvtomatovBuch Book2013
374Baaz, Matthias ; Fasching, Oliver Gödel logics with an operator shifting truth valuesArtikel Article2013
375Avron, A. ; Konikowska, B. ; Zamansky, A. Cut-free sequent calculi for C-systems with generalized finite-valued semanticsArtikel Article2013
376Hetzl, Stefan ; Weller, Daniel Expansion trees with cutPreprint Preprint2013
377Ésik, Z. ; Kuich, W. Free inductive K-semialgebrasArtikel Article2013
378Droste, Manfred ; Kuich, Werner Weighted finite automata over hemiringsArtikel Article2013
379Hetzl, Stefan ; Libal, Tomer ; Riener, Martin ; Rukhaia, Mikheil Understanding resolution proofs through Herbrand's TheoremKonferenzbeitrag Inproceedings 2013
380Baaz, Matthias ; Bou, Felix ; Preining, Norbert Characterization of decidable monadic Gödel logics: validity and satifaiabilityPräsentation Presentation2013