in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743
Volume: 1589, Pages: 310-325
Conference
13Th International Workshop on Algebraic Development Techniques, Wadt 1998, Date: 2 April 1998 through 4 April 1998, Sponsors: British Council;et al.;EU programme “Training and Mobility of Researchers”;Luso-American Development Foundation;Portugal Telecom;TAP Air Portugal