Recent Trends in Algebraic Development Techniques 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers /

This book constitutes the thoroughly refereed post-conference proceedings of the 19th International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2008, held in Pisa, Italy, on June 13-16, 2008. The 18 revised full papers presented together with 3 invited talks were carefully re...

Description complète

Détails bibliographiques

Cote:	Libro Electrónico
Collectivité auteur:	SpringerLink (Online service)
Autres auteurs:	Corradini, Andrea (Éditeur intellectuel), Montanari, Ugo (É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, 5486
Sujets:	Computer science. Machine theory. Computer science-Mathematics. Mathematical logic. Computer Science Logic and Foundations of Programming. Formal Languages and Automata Theory. Mathematics of Computing. Theory of Computation. Mathematical Logic and Foundations.
Accès en ligne:	Texto Completo