Computer Science Logic: 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, ... Notes in Computer Science, 4646, Band 4646)
Springer (9783540749141) | Computer Science, Computer Science Logic
