×

zbMATH — the first resource for mathematics

Found 3 Documents (Results 1–3)

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, 349-364 (1998).
MSC:  03G30 03C65
BibTeX Cite
WorldCat.org
Moggi, Eugenio (ed.) et al., Category theory and computer science. 7th international conference, CTCS ’97, Santa Margherita Ligure, Italy, September 4–6, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1290, 177-196 (1997).
MSC:  03G30 03B99 03B70
BibTeX Cite
WorldCat.org

Filter Results by …

Author
Year of Publication
Classification
Software