Computer Science Logic : 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 ; proceedings

Grädel, Erich (Editor); Kahle, Reinhard (Editor)

Berlin [u.a.] : Springer (2009)
Proceedings

In: Lecture notes in computer science 5771
Page(s)/Article-Nr.: XI, 565 S.