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)
Tagungsband
In: Lecture notes in computer science 5771
Seite(n)/Artikel-Nr.: XI, 565 S.
Einrichtungen
- Fachgruppe Mathematik [110000]
- Lehr- und Forschungsgebiet Mathematische Grundlagen der Informatik (Logik und Komplexität) [117220]
Identifikationsnummern
- 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