×

zbMATH — the first resource for mathematics

Found 4 Documents (Results 1–3)

Bert, Didier (ed.) et al., Recent trends in algebraic development techniques. 14th international workshop, WADT ’99, Château de Bonas, France, September 15-18, 1999. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1827, 73-88 (2000).
MSC:  68Q65
BibTeX Cite
WorldCat.org

Filter Results by …

Document Type
Reviewing State
Author
Year of Publication
Classification
Software