Descriptional Complexity of Formal Systems 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25-27, 2018, Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: 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
• Θέματα: Computer logic.; Natural language processing (Computer science).; Computer science-Mathematics.; Data structures (Computer science).; Logics and Meanings of Programs.; Natural Language Processing (NLP).; Discrete Mathematics in Computer Science.; Data Structures.
• Φυσική περιγραφή: XIV, 251 p. 35 illus. online resource.
• ISBN: 9783319946313
• DOI: 10.1007/978-3-319-94631-3

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 working conference concerning the descriptional complexity of formal systems and structures and its applications. Topics of interest are related to all aspects of descriptional complexity and much more. .