zbMATH — the first resource for mathematics

Found 3 Documents (Results 1–3)

Brookes, Steve (ed.) et al., Proceedings of the 22nd annual conference on mathematical foundations of programming semantics (MFPS XXII), Genova, Italy, May 23–27, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 158, 199-217 (2006).
MSC:  06D50 54E05
BibTeX Cite
Full Text: Link

Filter Results by …

Document Type
Year of Publication