Computer science logic 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings /
This book constitutes the proceedings of the 23rd International Workshop on Computer Science Logic, CSL 2009, held in Coimbra, Portugal, in September 2009. The 34 papers presented together with 5 invited talks were carefully reviewed and selected from 89 full paper submissions. All current aspects o...
| Corporate Authors: | CSL 2009 Coimbra, Portugal) |
|---|---|
| Other Authors: | CSL 2009, Grädel, Erich, 1958-, Kahle, Reinhard, 1967-, European Association for Computer Science Logic. |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
©2009.
Berlin ; New York : [2009] |
| Physical Description: |
1 online resource (xi, 565 pages) : illustrations. |
| Series: |
Lecture notes in computer science ;
5771. LNCS sublibrary. Theoretical computer science and general issues. |
| Subjects: |
CMU Electronic Access
Electronic Resource Click Here| Location | Call Number: | Status |
|---|---|---|
| CMU Electronic Access | Available |