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

Details

Serval ID
serval:BIB_FD141E63EE72
Type
Proceedings: the proceedings of a conference.
Collection
Publications
Institution
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
Create date
07/07/2021 11:36
Last modification date
08/07/2021 5:36
Usage data