Theoretical Aspects of Computing – ICTAC 2017 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Hung, Dang Van (Editor), Kapur, Deepak (Editor)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2017.
• Series: Lecture Notes in Computer Science, 10580
• Subjects: Computer science.; Software engineering.; Programming languages (Electronic computers).; Computer logic.; Mathematical logic.; Artificial intelligence.; Computer Science.; Logics and Meanings of Programs.; Programming Languages, Compilers, Interpreters.; Artificial Intelligence (incl. Robotics).; Software Engineering.; Mathematical Logic and Formal Languages.

This book constitutes the refereed proceedings of the 14th International Colloquium on Theoretical Aspects of Computing, ICTAC 2017, held in Hanoi, Vietnam, in October 2017. The 17 revised full papers presented together with three invited talks were carefully reviewed and selected from 40 submission...

Table of Contents:

• Logics
• Software components and concurrency
• Automata
• SMT solvers and algorithms
• Security.