Theoretical Aspects of Computing - ICTAC 2015 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings - Leucker, Martin; Rueda, Camilo; Valencia, Frank D. (Springer International Publishing : Imprint: Springer, 2015)