Theoretical Aspects of Computing – ICTAC 2017 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings - Hung, Dang Van; Kapur, Deepak (Springer International Publishing : Imprint: Springer, 2017)