Forschungsbereich Theory and Logic

Organization Name (de) Name der Organisation (de)
E192-05 - Forschungsbereich Theory and Logic
 
Code Kennzahl
E192-05
 
Type of Organization Organisationstyp
Research Division
 
Parent OrgUnit Übergeordnete Organisation
Active Aktiv
 


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

PreviewAuthors / EditorsTitleTypeIssue Date
1Cabrer, Leo Łukasiewicz Public Announcement LogicKonferenzbeitrag Inproceedings 2016
2Alama, Jesse Without EPräsentation Presentation2014
3Salzer, Gernot Why Computer Science Can't Get Enough of ClonesPräsentation Presentation2015
4van Berkel, Kees What is the (potential) role of proof theory for normative reasoning?Präsentation Presentation2021
5van Berkel, Kees What is the (potential) role of proof theory for normative reasoning?Präsentation Presentation2021
6Kuznets, Roman ; Studer, Thomas "Weak Arithmetical Interpretations for the Logic of ProofsPräsentation Presentation2014
7Di Angelo, Monika ; Salzer, Gernot Wallet Contracts on EthereumKonferenzbeitrag Inproceedings 2020
8Schernhammer, Felix ; Gramlich, Bernhard ; Treinen, Ralf VMTL - A Modular Termination LaboratoryKonferenzbeitrag Inproceedings 2009
9Beckmann, Arnold Viewing proofs in bounded arithmetic as programsPräsentation Presentation2004
10Bachinger, Alois ; Brandhofer, Gerhard ; Fuchs, Karl ; Futschek, Gerald ; Freund, Rudolf ; Gabriel, Siegbert ; Goebl, Reinhard ; Grossmann, Wilfried ; Micheuz, Peter ; Neuwirth, Erich ; Nosko, Christian ; Schedler, Marlies ; Traxler, Petra ; Wohlhart, David Vermittlung informatischer Kompetenzen und Medienkompetenzen in allen Lehramtstudien aller Ausbildungsinstitute ÖsterreichsBuchbeitrag Book Contribution2013
11Charwat, Günther ; Ianni, Giovambattista ; Krennwallner, Thomas ; Kronegger, Martin ; Pfandler, Andreas ; Redl, Christoph ; Schwengerer, Martin ; Spendier, Lara ; Wallner, Johannes Peter ; Xiao, Guohui ; Son, Tran Cao ; Cabalar, Pedro VCWC: A Versioning Competition Workflow CompilerKonferenzbeitrag Inproceedings 2013
12Freund, Rudolf ; Sempere, Jose Variants of P Systems with Toxic ObjectsKonferenzbeitrag Inproceedings2015
13Freund, Rudolf ; Alhazov, Artiom ; Paun, Gheorghe Variants of P Systems with Toxic ObjectsKonferenzbeitrag Inproceedings2015
14Freund, Rudolf Variants of P AutomataKonferenzbeitrag Inproceedings2014
15Oswald, Marion Variants of Halting in P SystemsPräsentation Presentation2008
16Freund, Rudolf Variants of Energy-Controlled P Systems" AutorenPräsentation Presentation2016
17Freund, Rudolf Variants of Energy-Controlled P SystemsPräsentation Presentation2016
18Alhazov-2022-Theoretical Computer Science-vor.pdf.jpgAlhazov, Artiom ; Freund, Rudolf ; Ivanov, Sergiu ; Oswald, Marion Variants of derivation modes for which purely catalytic {P} systemsare computationally completeArticle Artikel 12-Jun-2022
19Fermüller, Christian Vagueness at the interface between logic, philosophy, and linguisticsPräsentation Presentation2009
20Fermüller, Christian Vagueness as semantic indeterminacy: three bridges between probability and fuzzy logicPräsentation Presentation2007