Publication details

Publication details Main information Title: Computer Science Logic, CSL'09 Publication date: 2009 Citation: GK09 Abstract: - Book edition Editors: Erich Grädel, Reinhard Kahle Volume: 5771 Series: Lecture Notes in Computer Science Publisher: Springer Address: - ISBN: - ISSN: - Note: - Url address: - Export formats Plain text: Erich Grädel and Reinhard Kahle (eds), Computer Science Logic, CSL'09, Vol. 5771 of Lecture Notes in Computer Science, Springer, 2009. HTML: Erich Grädel and <a href="/people/members/view.php?code=2b403db3c66380c011a92d8f7831e542" class="editor">Reinhard Kahle</a> (eds), <u>Computer Science Logic, CSL'09</u>, Vol. 5771 of Lecture Notes in Computer Science, <a href="http://www.springer.com" title="Link to external entity..." target="_blank" class="publisher">Springer</a>, 2009. BibTeX: @book {GK09, editor = {Erich Gr{\"a}del and Reinhard Kahle}, title = {Computer Science Logic, CSL'09}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, volume = {5771}, year = {2009}, } Publication's urls Full url: /publications/view.php?code=02c919694c854b8e0441290ecd4d09b0 Friendly url: /publications/view.php?code=GK09