Original language | English |
---|---|
Journal | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
Volume | 4409 LNCS |
Publication status | Published - 1 Dec 2007 |
Event | 18th International Workshop on Algebraic Development Techniques, WADT 2006 - La Roche en Ardenne, Belgium Duration: 1 Jun 2006 → 3 Jun 2006 |
ASJC Scopus subject areas
- General Computer Science
- General Biochemistry,Genetics and Molecular Biology
- Theoretical Computer Science