Forschungsbereich Theory and Logic

View Statistics Email Alert RSS Feed

Details

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
 

OrgUnit's Publications


Results 141-160 of 965 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
141Fermüller, Christian ; Lang, Timo ; Pavlova, Alexandra From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel LogicKonferenzbeitrag Inproceedings 2020
142Di Angelo, Monika ; Salzer, Gernot Wallet Contracts on EthereumKonferenzbeitrag Inproceedings 2020
143Aschieri, Federico ; Hetzl, Stefan ; Weller, Daniel Expansion trees with cutArtikel Article 8-Oct-2019
144Corsi Esther Anna - 2018 - Connecting fuzzy logic and argumentation frames via...pdf.jpgCorsi, Esther Anna ; Fermüller, Christian G. Connecting fuzzy logic and argumentation frames via logical attack principlesArticle Artikel 15-Apr-2019
145di Angelo, Monika ; Salzer, Gernot A Survey of Tools for Analyzing Ethereum Smart ContractsKonferenzbeitrag Inproceedings 2019
146di Angelo, Monika ; Soare, Alfred ; Salzer, Gernot Smart contracts in view of the civil codeKonferenzbeitrag Inproceedings 2019
147Freund, Rudolf ; Alhazov, Artiom ; Ivanov, Sergui Beyond Generalized Multiplicities: Register Machines over GroupsKonferenzbeitrag Inproceedings2019
148Schäffer, Markus ; di Angelo, Monika ; Salzer, Gernot Performance and Scalability of Private Ethereum BlockchainsKonferenzbeitrag Inproceedings 2019
149di Angelo, Monika ; Salzer, Gernot Mayflies, Breeders, and Busy Bees in EthereumKonferenzbeitrag Inproceedings 2019
150Freund, Rudolf ; Alhazov, Artiom ; Ivanov, Sergui P Systems with Anti-MembranesKonferenzbeitrag Inproceedings 2019
151Freund, Rudolf A General Framework for Sequential Grammars with Control MechanismsKonferenzbeitrag Inproceedings 2019
152Aschieri, Federico Towards a concurrrent lambda calculus: via linear logicPräsentation Presentation2019
153Pascucci, Matteo Methods to prove non-cohesiveness in canonical modelsPräsentation Presentation2019
154Pascucci, Matteo ; Glavanicova, Daniela "Defining ResponsibilityPräsentation Presentation2019
155Lang, Timo ; Olarte, Carlos ; Pimentel, Elaine ; Fermüller, Christian A Game Model for Proofs with CostsKonferenzbeitrag Inproceedings 2019
156Freund, Rudolf (Tissue) P Systems with Anti-MembranesKonferenzbeitrag Inproceedings2019
157Freund, Rudolf Playing with Derivation Modes and Halting ConditionsKonferenzbeitrag Inproceedings2019
158Freund, Rudolf P Systems: from Anti-Matter to Anti-RulesKonferenzbeitrag Inproceedings2019
159Freund, Rudolf Playing with Derivation ModesKonferenzbeitrag Inproceedings 2019
160Aschieri, Federico Natural Deduction and Normalization Proofs for the Intersection Type DisciplineKonferenzbeitrag Inproceedings 2019