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.
Institutions
- Department of Mathematics [110000]
- Mathematical Fundamentals of Computer Science (Logic and Complexity) Teaching and Research Area [117220]
Identifier
- ISBN: 978-3-642-04026-9
- ISBN: 3-642-04026-8
- ISBN: 978-3-642-04027-6
- DOI: 10.1007/978-3-642-04027-6
- RWTH PUBLICATIONS: RWTH-CONV-093438