Computer Science Logic 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings /
The annual conference of the European Association for Computer Science Logic (EACSL), CSL 2009, was held in Coimbra (Portugal), September 7-11, 2009. The conference series started as a programme of International Workshops on Computer Science Logic, and then at its sixth meeting became the Annual C-...
Call Number: | Libro Electrónico |
---|---|
Corporate Author: | SpringerLink (Online service) |
Other Authors: | Grädel, Erich (Editor), Kahle, Reinhard (Editor) |
Format: | Electronic eBook |
Language: | Inglés |
Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2009.
|
Edition: | 1st ed. 2009. |
Series: | Theoretical Computer Science and General Issues,
5771 |
Subjects: | |
Online Access: | Texto Completo |
Similar Items
-
Logic and Games on Automatic Structures Playing with Quantifiers and Decompositions /
by: Kaiser, Lukasz
Published: (2011) -
Logical Tools for Handling Change in Agent-Based Systems
by: Gabbay, Dov M., et al.
Published: (2010) -
Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings /
Published: (2008) -
Typed Lambda Calculi and Applications 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings /
Published: (2009) -
Rewriting and Typed Lambda Calculi Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings /
Published: (2014)