Computer Science Logic, 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings

Details

Request a copyRequest a copy
Serval ID
serval:BIB_FD141E63EE72
Type
Proceedings: the proceedings of a conference.
Collection
Publications
Institution
UNIL/CHUV
Title
Computer Science Logic, 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings
Publisher
Springer
ISBN
978-3-540-74914-1
Issued date
2007
Editor
Duparc Jacques, Henzinger Thomas A.
Volume
4646
Language
english
OAI-PMH
oai:serval.unil.ch:BIB_FD141E63EE72
DOI
10.1007/978-3-540-74915-8
Publisher's website
https://doi.org/10.1007/978-3-540-74915-8
Create date
07/07/2021 12:36
Last modification date
08/07/2021 6:36
Usage data