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...
Συγγραφή απο Οργανισμό/Αρχή: | SpringerLink (Online service) |
---|---|
Άλλοι συγγραφείς: | Konstantinidis, Stavros (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Pighizzini, Giovanni (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt) |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Cham :
Springer International Publishing : Imprint: Springer,
2018.
|
Έκδοση: | 1st ed. 2018. |
Σειρά: | Theoretical Computer Science and General Issues ;
10952 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Παρόμοια τεκμήρια
-
Teaching Formal Methods CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings /
Έκδοση: (2004) -
Spatial Cognition III Routes and Navigation, Human Memory and Learning, Spatial Representation and Spatial Learning /
Έκδοση: (2003) -
Combinatorics on Words 12th International Conference, WORDS 2019, Loughborough, UK, September 9-13, 2019, Proceedings /
Έκδοση: (2019) -
Principles and Practice of Constraint Programming - CP 2003 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings /
Έκδοση: (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 /
Έκδοση: (2019)