Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007: Proceedings - Workshop on Computer Science Logic 2007 : Lausanne, Switzerland); Duparc, Jacques; Henzinger, Thomas A.; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007)
Keywords: Computer logic -- Congresses