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 372 (Search time: 0.001 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Cabrer, Leo Łukasiewicz Public Announcement LogicKonferenzbeitrag Inproceedings 2016
2Di Angelo, Monika ; Salzer, Gernot Wallet Contracts on EthereumKonferenzbeitrag Inproceedings 2020
3Schernhammer, Felix ; Gramlich, Bernhard ; Treinen, Ralf VMTL - A Modular Termination LaboratoryKonferenzbeitrag Inproceedings 2009
4Bachinger, 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
5Charwat, 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
6Freund, Rudolf ; Sempere, Jose Variants of P Systems with Toxic ObjectsKonferenzbeitrag Inproceedings2015
7Freund, Rudolf ; Alhazov, Artiom ; Paun, Gheorghe Variants of P Systems with Toxic ObjectsKonferenzbeitrag Inproceedings2015
8Freund, Rudolf Variants of P AutomataKonferenzbeitrag Inproceedings2014
9Freund, Rudolf ; Paun, Gheorghe ; Paun, Gheorghe ; Valencia-Cabrera, Luis Universal P Systems: One Catalyst Can Be SufficientKonferenzbeitrag Inproceedings2013
10Ciabattoni, Agata ; Fermüller, Christian ; Metcalfe, George ; Baader, Franz ; Voronkov, Andrei Uniform Rules and Dialogue Games for Fuzzy LogicsKonferenzbeitrag Inproceedings 2005
11Freund, Rudolf ; Alhazov, Artiom ; Ivanov, Sergui Unfair P SystemsKonferenzbeitrag Inproceedings2018
12Freund, Rudolf ; Alhazov, Artiom ; Ivanov, Sergui ; Paun, Gheorghe Unfair P SystemsKonferenzbeitrag Inproceedings2017
13Freund, Rudolf ; Alhazov, Artiom ; Ivanov, Sergui ; Reinhardt, Klaus Unfair P SystemsKonferenzbeitrag Inproceedings2018
14Cintula, Petr ; Fermüller, Christian ; Godo, Lluis ; Hajek, Petr Understanding Vagueness. Logical, Philosophical and Linguistic PerspectivesBuch Book 2011
15Freund, Rudolf ; Fernau, Henning ; Oswald, Marion ; Alhazov, Artiom Undecidability and Computational Completeness for P Systems with One- and Two- dimensional Array Insertion and Deletion RulesKonferenzbeitrag Inproceedings 2013
16Calude, Christian S. ; Costa, José Félix ; Freund, Rudolf ; Oswald, Marion ; Rozenberg, Grzegorz Unconventional ComputingKonferenzband Proceedings2008
17Besozzi, Daniela ; Busi, Nadia ; Franco, Giuditta ; Freund, Rudolf ; Paun, Gheorghe ; Gutiérrez-Naranjo, Miguel Angel ; Paun, Gheorghe ; Riscos-Núñez, Agustín ; Romero-Campero, Francisco José Two Universality Results for (Mem)Brane SystemsKonferenzbeitrag Inproceedings2006
18Freund, Rudolf ; Alhazov, Artiom Two Catalysts Can Be Sufficent for Computational CompletenessKonferenzbeitrag Inproceedings 2013
19Freund, Rudolf ; Staiger, Ludwig Turing machines with activations of transitionsKonferenzbeitrag Inproceedings 2019
20Fermüller, Christian ; Pelis, Michal Truth Value Intervals, Bets, and Dialogue GamesBuchbeitrag Book Contribution2009