zbMATH — the first resource for mathematics

Found 4 Documents (Results 1–3)

Backhouse, Roland (ed.) et al., Algebraic and coalgebraic methods in the mathematics of program construction. International summer school and workshop, Oxford, GB, April 10–14, 2000. Revised lectures. Berlin: Springer (ISBN 3-540-43613-8). Lect. Notes Comput. Sci. 2297, 281-308 (2002).
MSC:  68N30 68N18 68Q65
BibTeX Cite
Full Text: Link

Filter Results by …

Document Type
Reviewing State
Year of Publication