Forschungsbereich Computational Logic

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
 


Results 1-20 of 628 (Search time: 0.001 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Baaz, Matthias ε calculus and Skolem functionsPräsentation Presentation2006
2San Mauro, Luca Francesco Word problems and cheersPräsentation Presentation2020
3Baaz, Matthias Wittgenstein's Traktat from the Perspective of a Contemporary LogicianPräsentation Presentation2020
4Preining, Norbert Wie mehrwertig ist unsere Welt - eine kurze Einführung in mehrwertige LogikenPräsentation Presentation2004
5Kuich, Werner Why We Need Semirings in Automata Theory (Extended Abstract)Konferenzbeitrag Inproceedings2015
6Kuich, Werner Why we need semirings in automata theoryPräsentation Presentation2008
7Hetzl, Stefan Which proofs can be computed by cut-elimination?Präsentation Presentation2012
8Hetzl, Stefan Which proofs can be computed by cut-elimination?Präsentation Presentation2012
9Afshari, Bahareh When formal proofs meet formal grammarsPräsentation Presentation2015
10Arieli, Ofer ; Avron, Arnon ; Zamansky, Anna What is an ideal logic for reasoning with inconsistency?Konferenzbeitrag Inproceedings 2011
11Kuich, Werner Weighted Pushdown AutomataPräsentation Presentation2018
12Kuich, Werner Weighted Finite AutomataPräsentation Presentation2015
13Kuich, Werner Weighted Finite AutomataPräsentation Presentation2017
14Baaz, Matthias Wahrheit und BeweisPräsentation Presentation2018
15Beckmann, Arnold Viewing proofs in bounded arithmetic as programsPräsentation Presentation2004
16Baaz, Matthias ; Eiter, Thomas ; Veith, Helmut Vienna Summer of LogicPräsentation Presentation2014
17Baaz, Matthias Validity and satisfiabilityPräsentation Presentation2012
18Beckmann, Arnold Untere Schranken für die Größe monotoner SchaltkreisePräsentation Presentation2002
19Baaz, Matthias ; Aguilera Ozuna, Juan Pablo Unsound rules make proofs easierPräsentation Presentation2016
20Baaz, Matthias ; Aguilera Ozuna, Juan Pablo Unsound Inferences Make Proofs ShorterPräsentation Presentation2016