|
| | Preview | Authors / Editors | Title | Type | Issue Date |
| 81 | | Di Angelo, Monika ; Salzer, Gernot | Towards the Identification of Security Tokens on Ethereum | Konferenzbeitrag Inproceedings  | 2021 |
| 82 | | Freund, Rudolf | Preface | Artikel Article | 2021 |
| 83 | | Kjäer, Martin ; Di Angelo, Monika ; Salzer, Gernot | Empirical Evaluation of MakerDAO's Resilience | Konferenzbeitrag Inproceedings | 2021 |
| 84 | | CIABATTONI, AGATA ; LANG, TIMO ; RAMANAYAKE, REVANTHA | Bounded-analytic sequent calculi and embeddings for hypersequent logics. | Artikel Article | 2021 |
| 85 | | Baaz, Matthias ; Leitsch, Alexander ; Lolic, Anela | An abstract form of the first epsilon theorem | Artikel Article | 2021 |
| 86 | | Ciabattoni, Agata ; Lellmann, Björn | Sequent Rules for Reasoning and Conflict Resolution in Conditional Norms | Konferenzbeitrag Inproceedings | 2021 |
| 87 | | Fermüller, Christian | Revisting Brandom's Incompatibility Semantics | Präsentation Presentation | 2021 |
| 88 | | Freund, Rudolf ; Tseren-Onolt, Ishdorj ; Rozenberg, Grzegorz ; Salomaa, Arto ; ZANDRON, CLAUDIO | Membrane Computing | Konferenzband Proceedings | 2021 |
| 89 | | Fermüller, Christian | Connecting Sequent Calculi with Lorenzen-Style Dialogue Games | Book Contribution Buchbeitrag | 2021 |
| 90 | | Powell, Thomas ; Schuster, Peter ; Wiesnet, Franziskus | A universal algorithm for Krull's theorem | Artikel Article | 2021 |
| 91 | | Pavlova, Alexandra | Game Approach to Logical Validity: A Case of Mezhirov's Provability Game | Präsentation Presentation | 2021 |
| 92 | | Pavlova, Alexandra ; Freiman, Robert ; Lang, Timo | From Semantic Games to Provability: The Case of Gödel Logic | Artikel Article | 2021 |
| 93 | | Powell, Thomas ; Wiesnet, Franziskus | Rates of convergence for asymptotically weakly contractive mappings in normed spaces | Artikel Article | 2021 |
| 94 | | Dalmonte, Tiziano ; Lellmann, Björn ; Olivetti, Nicola ; Pimentel, Elaine | Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity. | Artikel Article | 2021 |
| 95 | | Ciabattoni, Agata ; Lyon, Tim ; Ramanayake, Revantha ; Tiu, Alwen | Display to Labeled Proofs and Back Again for Tense Logics | Artikel Article | 2021 |
| 96 | | Benzmüller, Christoph ; Parent, Xavier ; Ricca, Francesco | Introduction to the Special Issue on Logic Rules and Reasoning: Selected Papers from the 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018) | Artikel Article | 2021 |
| 97 | | Freund, Rudolf | The Power of Parallelism in Membrane Computing | Konferenzbeitrag Inproceedings | 2021 |
| 98 | | Alhazov, Artiom ; Freund, Rudolf ; Ivanov, Sergiu ; Oswald, Marion | Relations between Control Mechanisms for Sequential Grammars | Artikel Article | 2021 |
| 99 | | Ciabattoni, Agata ; van Berkel, Kees ; Freschi, Elisa ; Gulisano, Francesca ; Olszewski, Maya | The Gentle Murder Paradox in Sanskrit Philosophy | Konferenzbeitrag Inproceedings | 2021 |
| 100 | | van Berkel, Kees ; Lyon, Tim | The Varieties of Ought-Implies-Can and Deontic STIT Logic | Konferenzbeitrag Inproceedings | 2021 |
