×

zbMATH — the first resource for mathematics

Found 3 Documents (Results 1–3)

Wirsing, Martin (ed.) et al., Recent trends in algebraic development techniques. 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24–27, 2002. Revised selected papers. Berlin: Springer (ISBN 3-540-20537-3/pbk). Lect. Notes Comput. Sci. 2755, 409-424 (2003).
MSC:  03G30 03B62 68Q65
BibTeX Cite
Full Text: DOI
WorldCat.org
Cerioli, Maura (ed.) et al., Recent trends in algebraic development techniques. 15th international workshop, WADT 2001, joint with the CoFI WG meeting, Genova, Italy, April 1–3, 2001. Selected papers. Berlin: Springer (ISBN 3-540-43159-4). Lect. Notes Comput. Sci. 2267, 256-279 (2001).
MSC:  68Q65 18C50 03G30
BibTeX Cite
Full Text: Link
WorldCat.org
Parisi Presicce, Francesco (ed.), Recent trends in algebraic development techniques. 12th international workshop, WADT ’97, Tarquinia, Italy, June 3-7, 1997. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1376, 381-401 (1998).
BibTeX Cite
WorldCat.org

Filter Results by …

Year of Publication
Classification