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 401-420 of 968 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
401Freund, Rudolf Computational Completeness and Universality in Membrane ComputingPräsentation Presentation2015
402Freund, Rudolf Going Beyond Turing with Watson-Crick T0L SystemsPräsentation Presentation2015
403Kuznets, Roman ; Lellmann, Björn Grafting Hypersequents onto Nested SequentsBericht Report2015
404Behrisch, Mike ; Salzer, Gernot Give Me Another One!Konferenzbeitrag Inproceedings 2015
405Freund, Rudolf A Connection Between Red-Green Turing Machines and Watson-Crick T0L SystemsKonferenzbeitrag Inproceedings2015
406Freund, Rudolf P Systems with Generalized Multisets Over Totally Ordered Abelian GroupsKonferenzbeitrag Inproceedings2015
407Freund, Rudolf Seventh Workshop on Non-Classical Models of Automata and ApplicationsKonferenzband Proceedings2015
408Freund, Rudolf ; Staiger, Ludwig Going Beyond Turing with P Automata: Partial Adult Halting and Regular Ovserver LanguagesKonferenzbeitrag Inproceedings 2015
409Fermüller, Christian G. Combining Fuzziness and Context Sensitivity in Game Based Models of Vague QuantificationKonferenzbeitrag Inproceedings 2015
410Freund, Rudolf ; Alhazov, Artiom Polarizationless P Systems with One Active MembraneKonferenzbeitrag Inproceedings2015
411Freund, Rudolf ; Oswald, Marion ; Alhazov, Artiom Extended Spiking Neural P Systems with White Hole RulesKonferenzbeitrag Inproceedings2015
12Freund, Rudolf ; Alhazov, Artiom Variants of P Systems with Toxic ObjectsKonferenzbeitrag Inproceedings2015
13Freund, Rudolf ; Alhazov, Artiom Deterministic Non-cooperative P Systems with Strong Context ConditionsKonferenzbeitrag Inproceedings2015
14Leitsch, Alexander ; Baaz, Matthias ; Reis, Giselle A Note on the Complexity of Classical and Intuitionistic ProofsKonferenzbeitrag Inproceedings2015
15Freund, Rudolf ; Ivanov, Sergui How to Go Beyond Turing with P Automata: Time Travels, Regular Observer w-Languages, and Partial Adult HaltingKonferenzbeitrag Inproceedings2015
16Freund, Rudolf On The Semantics of Annihilation Rules in Membrane ComputingKonferenzbeitrag Inproceedings2015
17Freund, Rudolf Variants of P Systems with Toxic ObjectsKonferenzbeitrag Inproceedings2015
18Baldi, Paolo ; Ciabattoni, Agata Standard Completeness for Uninorm-Based LogicsKonferenzbeitrag Inproceedings 2015
19Woltzenlogel-Paleo, Bruno Higher-Order Modal Logics: Automation and ApplicationsKonferenzbeitrag Inproceedings 2015
20Freund, Rudolf ; Oswald, Marion Going Beyond Turing with Extended Spiking Neural P Systems with White Hole RulesKonferenzbeitrag Inproceedings2015