Theoretical aspects of computing-- ICTAC 2010 7th international colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010 : proceedings / - Cavalcanti, Ana. (Springer,)