×

zbMATH — the first resource for mathematics

Found 7 Documents (Results 1–7)

100
MathJax
Corradini, Andrea (ed.) et al., Recent trends in algebraic development techniques. 19th international workshop, WADT 2008, Pisa, Italy, June 13–16, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-03428-2/pbk). Lecture Notes in Computer Science 5486, 266-289 (2009).
MSC:  68Q65 03G30
PDF BibTeX XML Cite
Full Text: DOI
Corradini, Andrea (ed.) et al., Recent trends in algebraic development techniques. 19th international workshop, WADT 2008, Pisa, Italy, June 13–16, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-03428-2/pbk). Lecture Notes in Computer Science 5486, 88-101 (2009).
MSC:  68Q65
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type
all top 5
Year of Publication
Classification
all top 3
Software