Descriptional Complexity of Formal Systems 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17-19, 2019, Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Hospodár, Michal (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Jirásková, Galina (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Konstantinidis, Stavros (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2019.
• Έκδοση: 1st ed. 2019.
• Σειρά: Theoretical Computer Science and General Issues ; 11612
• Θέματα: Computer logic.; Mathematical logic.; Artificial intelligence.; Database management.; Special purpose computers.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Artificial Intelligence.; Database Management.; Special Purpose and Application-Based Systems.

This book constitutes the proceedings of the 21st International Conference on Descriptional Complexity of Format Systems, DCFS 2019, held in Košice, Slovakia, in July 2019. The 18 full papers presented in this volume were carefully reviewed and selected from 25 submissions. The book also contains 4...