Descriptional Complexity of Formal Systems 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25-27, 2018, Proceedings /
This book constitutes the proceedings of the 20th International Conference on Descriptional Complexity of Formal Systems, DCFS 2018, held in Halifax, NS, Canada, in July 2018. The 19 full papers presented were carefully reviewed and selected from 24 submissions. DCFS is an annual international worki...
| Corporate Author: | SpringerLink (Online service) |
|---|---|
| Other Authors: | Konstantinidis, Stavros (Editor, http://id.loc.gov/vocabulary/relators/edt), Pighizzini, Giovanni (Editor, http://id.loc.gov/vocabulary/relators/edt) |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2018.
|
| Edition: | 1st ed. 2018. |
| Series: | Theoretical Computer Science and General Issues ;
10952 |
| Subjects: | |
| Online Access: | Full Text via HEAL-Link |
Similar Items
-
Teaching Formal Methods CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings /
Published: (2004) -
Spatial Cognition III Routes and Navigation, Human Memory and Learning, Spatial Representation and Spatial Learning /
Published: (2003) -
Combinatorics on Words 12th International Conference, WORDS 2019, Loughborough, UK, September 9-13, 2019, Proceedings /
Published: (2019) -
Principles and Practice of Constraint Programming - CP 2003 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings /
Published: (2003) -
SOFSEM 2019: Theory and Practice of Computer Science 45th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 27-30, 2019, Proceedings /
Published: (2019)