Fourth IFIP International Conference on Theoretical Computer Science- TCS 2006 IFIP 19th Worm Computer Congress, TC-1, Foundations of Computer Science, August 23β24, 2006, Santiago, Chile - Navarro, Gonzalo (International Federation for Information Processing, 2006)