Theory and practice of computation Workshop on Computation: Theory and Practice, Quezon City, Philippines, September 2011. Proceedings - Nishizaki, Shin-ya; Caro, Jaime D.L (Proceedings in information and communications technology, 2012)