Computer science logic : 21st international workshop, CSL 2007, 16th annual conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 : proceedings /

por Duparc, Jacques., Henzinger, T. A., European Association for Computer Science Logic., International Workshop, CSL 2007