zbMATH — the first resource for mathematics

Found 6 Documents (Results 1–3)

Fiadeiro, José Luiz (ed.) et al., Recent trends in algebraic development techniques. 17th international workshop, WADT 2004, Barcelona, Spain, March 27–29, 2004. Revised selected papers. Berlin: Springer (ISBN 3-540-25327-0/pbk). Lecture Notes in Computer Science 3423, 28-44 (2005).
MSC:  68Q85
BibTeX Cite
Full Text: DOI

Filter Results by …

Document Type
Year of Publication