|
| | Preview | Authors / Editors | Title | Type | Issue Date |
| 221 | | Pascucci, Matteo | Cohesiveness in canonical models | Präsentation Presentation | 2018 |
| 222 | | Fermüller, Christian | Review of "Fuzzy Logic and Mathematics: A Historical Perspective" | Artikel Article | 2018 |
| 223 | | Freund, Rudolf ; Alhazov, Artiom ; Ivanov, Sergui | Unfair P Systems | Konferenzbeitrag Inproceedings | 2018 |
| 224 | | Freund, Rudolf ; Ivanov, Sergui | Proceedings of the Workshop on Membrane Computing at UCNC 2018. | Konferenzband Proceedings | 2018 |
| 225 | | Freund, Rudolf | Proceedings of the Tenth Workshop on Non-Classical Models of Automata and Applications, (NCMA) | Konferenzband Proceedings | 2018 |
| 226 | | Leitsch, Alexander ; Baaz, Matthias ; Lolic, Anela | A Sequent-Calculus Based Formulation of the Extended First Epsilon Theorem | Konferenzbeitrag Inproceedings | 2018 |
| 227 | | Freund, Rudolf | Tissue P Systems with Point Mutation Rules | Konferenzbeitrag Inproceedings  | 2018 |
| 228 | | Freund, Rudolf | Sequential Grammars with Activation and Blocking of Rules | Konferenzbeitrag Inproceedings | 2018 |
| 229 | | Freund, Rudolf | P Systems with Activation and Blocking of Rules | Konferenzbeitrag Inproceedings | 2018 |
| 230 | | Pfeifer, Niki ; Fermüller, Christian | Probabilistic interpretations of argumentative attacks: logical and experimental foundations | Konferenzbeitrag Inproceedings | 2018 |
| 231 | | Fermüller, Christian | A Granularity Approach to Vague Quantification | Konferenzbeitrag Inproceedings | 2018 |
| 232 | | Pascucci, Matteo ; Libal, Tomer | Automated Reasoning in Normative Detachment Structures with Ideal Conditions | Preprint Preprint | 2018 |
| 233 | | Kuznets, Roman | Multicomponent Proof-theoretic Method for Proving Interpolation Property | Artikel Article | 2018 |
| 234 | | Bodirsky, Manuel ; Evans, David ; Kopatscher, Michael ; Pinsker, Michael | A counterexample to the reconstruction of omega-categorical structures from their endomorphism monoids | Artikel Article | 2018 |
| 235 | | Ramanayake, Don Revantha Shiyan | Inducing syntactic cut-elimination for indexed nested sequents | Artikel Article | 2018 |
| 236 | | Ciabattoni, Agata ; Genco, Francesco A. ; Ramanayake, Revantha | Substructural logics: semantics, proof theory, and applications. Report on the second SYSMICS workshop | Artikel Article | 2018 |
| 237 | | Aschieri, Federico ; Ciabattoni, Agata ; Genco, Francesco | Disjunctive Axioms and Concurrent lambda-Calculi: a Curry-Howard Approach | Preprint Preprint | 2018 |
| 238 | | Ciabattoni, Agata ; Genco, Francesco A. | Hypersequents and Systems of Rules: Embeddings and Applications. | Artikel Article | 2018 |
| 239 | | Aschieri, Federico ; Genco, Francesco ; Ciabattoni, Agata | Classical Proofs as Parallel Programs | Konferenzbeitrag Inproceedings | 2018 |
| 240 | | Aschieri, Federico ; Ciabattoni, Agata ; Genco, Francesco | Logic-Based Concurrent Calculi | Präsentation Presentation | 2018 |
