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...
|Corporate Author:||SpringerLink (Online service)|
|Other Authors:||Corradini, Andrea., Montanari, Ugo.|
Berlin, Heidelberg :
Springer Berlin Heidelberg,
Lecture Notes in Computer Science,
No Tags, Be the first to tag this record!