Theoretical Aspects of Computing 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings Cavalcanti Ana Heftet / 2010 / Engelsk