Theoretical Aspects of Computing - ICTAC 2017 : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings - Hung, Dang Van.; Kapur, Deepak. (Theoretical Computer Science and General Issues ;, 2017)