Recent Trends in Algebraic Development Techniques 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers - Corradini, Andrea; Montanari, Ugo.; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2009)
Keywords: Computer science; Information theory; Logic design; Logic, Symbolic and mathematical; Computer Science; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Mathematics of Computing; Theory of Computation; Computation by Abstract Devices; Mathematical Logic and Foundations