Front Matter, Table of Contents, Preface, Conference Organization
| Autor: | Gaboardi, Marco, van Raamsdonk, Femke |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2023 |
| Předmět: |
Conference Organization
Theory of computation → Models of computation Table of Contents Theory of computation → Formal languages and automata theory Software and its engineering → Formal software verification Theory of computation → Semantics and reasoning Security and privacy → Formal methods and theory of security Computing methodologies → Symbolic and algebraic manipulation Preface Front Matter Theory of computation → Logic |
| DOI: | 10.4230/lipics.fscd.2023.0 |
| Popis: | Front Matter, Table of Contents, Preface, Conference Organization LIPIcs, Vol. 260, 8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023), pages 0:i-0:xviii |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|