Theoretical Computer Science 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Du, Dingzhu (Editor), Li, Lian (Editor), Zhu, En (Editor), He, Kun (Editor)
• Format: Electronic eBook
• Language: English
• Published: Singapore : Springer Singapore : Imprint: Springer, 2017.
• Series: Communications in Computer and Information Science, 768
• Subjects: Computer science.; Algorithms.; Computer logic.; Mathematical logic.; Computer Science.; Algorithm Analysis and Problem Complexity.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.

This book constitutes the thoroughly refereed proceedings of the National Conference of Theoretical Computer Science, NCTCS 2017, held in Wuhan, Hubei, China, in October 2017. The 25 full papers presented were carefully reviewed and selected from 84 submissions. They present relevant trends of curre...