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

• Corporate Author: SpringerLink (Online service)
• Other Authors: Hospodár, Michal (Editor, http://id.loc.gov/vocabulary/relators/edt), Jirásková, Galina (Editor, http://id.loc.gov/vocabulary/relators/edt), Konstantinidis, Stavros (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2019.
• Edition: 1st ed. 2019.
• Series: Theoretical Computer Science and General Issues ; 11612
• Subjects: 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...