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-...
Cote: | Libro Electrónico |
---|---|
Collectivité auteur: | SpringerLink (Online service) |
Autres auteurs: | Grädel, Erich (Éditeur intellectuel), Kahle, Reinhard (Éditeur intellectuel) |
Format: | Électronique eBook |
Langue: | Inglés |
Publié: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2009.
|
Édition: | 1st ed. 2009. |
Collection: | Theoretical Computer Science and General Issues,
5771 |
Sujets: | |
Accès en ligne: | Texto Completo |
Documents similaires
-
Logic and Games on Automatic Structures Playing with Quantifiers and Decompositions /
par: Kaiser, Lukasz
Publié: (2011) -
Logical Tools for Handling Change in Agent-Based Systems
par: Gabbay, Dov M., et autres
Publié: (2010) -
Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings /
Publié: (2008) -
Typed Lambda Calculi and Applications 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings /
Publié: (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 /
Publié: (2014)