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 321-340 of 840 (Search time: 0.004 seconds).

PreviewAuthor(s)TitleTypeIssue Date
321Leigh, Graham E. Some Weak Theories of TruthBuchbeitrag Book Contribution2015
322Baaz, Matthias First-order proofs in Gödel logics: hypersequents, Herbrand disjunctions, computational contentPräsentation Presentation2014
323Turunen, Esko Tapani Perfect Pavelka logicPräsentation Presentation2014
324Leigh, Graham Logic, games and AutomataPräsentation Presentation2014
325Kuich, Werner A new acceptance modus for weighted finite automataPräsentation Presentation2014
326Aschieri, Federico Some Recent Results on Herbrand's TheoremPräsentation Presentation2014
327Leigh, Graham Incompleteness and formal truthPräsentation Presentation2014
328Leigh, Graham Cut-elimination for compositional truthPräsentation Presentation2014
329Leigh, Graham Reflecting on truthPräsentation Presentation2014
330Turunen, Esko Tapani Connecting Fuzzy Sets and Pavelka's Fuzzy LogicPräsentation Presentation2014
331Baaz, Matthias ; Eiter, Thomas ; Veith, Helmut Vienna Summer of LogicPräsentation Presentation2014
332Turunen, Esko Tapani From Fuzzy Sets to Mathematical LogicPräsentation Presentation2014
333Afshari, Bahareh Formal Theories of ThruthPräsentation Presentation2014
334Baaz, Matthias AnalogyPräsentation Presentation2014
335Baaz, Matthias Satisfiability/validity:asymetric researchPräsentation Presentation2014
336Baaz, Matthias Epsilon Calculus in Non-Classical LogicsPräsentation Presentation2014
337Kuich, Werner Conway semirings and finite automataPräsentation Presentation2014
338Kuich, Werner A new acceptance modus for weighted finite automataPräsentation Presentation2014
339Afshari, Bahareh Grammars for first-order proofsPräsentation Presentation2014
340Hetzl, Stefan ; Leitsch, Alexander ; Reis, Giselle ; Tapolczai, Janos ; Weller, Daniel Introducing Quantified Cuts in Logic with EqualityKonferenzbeitrag Inproceedings 2014