Computer Science Logic : 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September /

Lignende værker

• Computer Science Logic : 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings /
  af: Jacques Duparc, Thomas A. Henzinger
  Udgivet: (2007, c2007)
• Computer Science Logic : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings /
  af: Luke Ong
  Udgivet: (2005, c2005)
• Computer Science Logic : 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings /
  af: Michael Kaminski, Simone Martini
  Udgivet: (2008, c2008)
• Computer Science Logic : 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings /
  af: Erich Grädel, Reinhard Kahle
  Udgivet: (2009, c2009)
• Computer Science Logic : 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers /
  af: Mogens Nielsen, Wolfgang Thomas
  Udgivet: (1998, c1998)