Implementation and Application of Automata 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 - August 2, 2018, Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Câmpeanu, Cezar (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2018.
• Έκδοση: 1st ed. 2018.
• Σειρά: Theoretical Computer Science and General Issues ; 10977
• Θέματα: Computer logic.; Mathematical logic.; Data structures (Computer science).; Information storage and retrieval.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Data Structures.; Information Storage and Retrieval.

This book constitutes the proceedings of the 23rd International Conference on Implementation and Application of Automata, CIAA 2018, held in Charlottetown, PE, Canada, in July/August 2018. The 23 regular papers presented in this book together with 4 invited papers were carefully reviewed and selecte...

Πίνακας περιεχομένων:

• State complexity of automata
• Implementations of automata and experiments
• Enhanced regular expressions
• Complexity analysis.