in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743
Volume: 1827, Pages: 237-251
Conference
14Th International Workshop on Algebraic Development Techniques, Wadt 1999, Date: 15 September 1999 through 18 September 1999, Sponsors: CNRS (Centre National de la Recherche Scientifique);et al;IMAG Institute (Informatique et Mathematiques Appliquees de Grenoble);INPG (Institut National Polytechnique de Grenoble);Ministere des Affaires Etrangeres, French Governement;UJF (Universite Joseph Fourier de Grenoble)
