Proceedings of Computer Science Logic, 23rd international Workshop, CSL 2009

DI Group Author, Reinhard Kahle (Editor/Coordinator)

Research output: Book/ReportBook

Original languageUnknown
Place of PublicationBerlin / Heidelberg
PublisherSpringer
ISBN (Print)978-3-642-04026-9
Publication statusPublished - 1 Jan 2009

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
No.5771
ISSN (Print)0302-9743

Cite this