Theoretical aspects of computing - ICTAC 2006 : third International Colloquium : Tunis, Tunisia, November 20-24, 2006 : proceedings - Barkaoui, Kamel, 1954-; Cavalcanti, Ana; Cerone, Antonio (Lecture notes in artificial intelligence ;, 2006)