Computer Science Logic: 22nd International Workshop, CSL 2008, 17th Annual Confe

The 31 revised full papers presented together with 4 invited lectures were carefully reviewed and selected from 102 submissions. The book concludes with a presentation of this year's Ackermann award.

eBay