Publications tagged algebra
- Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected PapersJosé Luiz Fiadeiro, Pierre Yves Schobbens, editors, Volume 4409 of Lecture Notes in Computer Science, Springer, 2007.
- Algebraic Methodology and Software Technology, 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, ProceedingsCharles Rattray, Savi Maharaj, Carron Shankland, editors, Volume 3116 of Lecture Notes in Computer Science, Springer, 2004.
- Algebraic Methodology and Software Technology, 7th International Conference, AMAST 98, Amazonia, Brasil, January 4-8, 1999, ProceedingsArmando Martin Haeberer, editor, Volume 1548 of Lecture Notes in Computer Science, Springer, 1999.
- Recent Trends in Algebraic Development Techniques, 13th International Workshop, WADT 98, Lisbon, Portugal, April 2-4, 1998, Selected PapersJosé Luiz Fiadeiro, editor, Volume 1589 of Lecture Notes in Computer Science, Springer, 1999.
- Recent Trends in Algebraic Development Techniques, 12th International Workshop, WADT 97, Tarquinia, Italy, June 1997, Selected PapersFrancesco Parisi-Presicce, editor, Volume 1376 of Lecture Notes in Computer Science, Springer, 1997.