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...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Corradini, Andrea., Montanari, Ugo.
Format: Electronic
Language: English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Series: Lecture Notes in Computer Science, 5486
Subjects:
Online Access: http://dx.doi.org/10.1007/978-3-642-03429-9
Tags: Add Tag
No Tags, Be the first to tag this record!