LIPIcs.FSCD.2019.pdf
- Filesize: 18.11 MB
- 664 pages
Document
LIPIcs, Volume 131, FSCD'19, Complete Volume
Author
Herman Geuvers 
-
Part of:
Volume:
4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019)
Series: Leibniz International Proceedings in Informatics (LIPIcs)
Conference: Formal Structures for Computation and Deduction (FSCD) - License:
Creative Commons Attribution 3.0 Unported license
- Publication Date: 2019-07-03
File
Document Identifiers
Author Details
Cite As Get BibTex
4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 131, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
https://doi.org/10.4230/LIPIcs.FSCD.2019
Abstract
LIPIcs, Volume 131, FSCD'19, Complete Volume
Subject Classification
ACM Subject Classification
- Theory of computation → Models of computation
- Theory of computation → Formal languages and automata theory
- Theory of computation → Logic
- Theory of computation → Semantics and reasoning
- Software and its engineering → Language features
- Software and its engineering → Formal language definitions
- Software and its engineering → Formal methods
Keywords
- Theory of computation, Models of computation, Formal languages and automata theory, Logic, Semantics and reasoning
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads