zbMATH — the first resource for mathematics

Found 10 Documents (Results 1–3)

Brooks, Stephen (ed.) et al., MFPS 2001. Papers from the 17th conference on the mathematical foundations of programming semantics, Aarhus University, Aarhus, Denmark, May 23–26, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 45, 209-231 (2001).
MSC:  18B30 06D22 54B30 54D10 54D30
BibTeX Cite
Full Text: DOI

Filter Results by …

Document Type
Year of Publication