Theoretical Aspects of Computing - ICTAC 2006 Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings - Barkaoui, Kamel; Cavalcanti, Ana; Cerone, Antonio (Springer Berlin Heidelberg, 2006)