Tobias Nipkow (auth.), Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone (eds.)

Theoretical Aspects of Computing – ICTAC 2006: Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings