zbMATH — the first resource for mathematics

Found 3 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
Brookes, S. (ed.) et al., Mathematical foundations of programming semantics. Proceedings of the 13th annual conference, MFPS, Carnegie Mellon Univ., Pittsburgh, PA, USA, March 23–26, 1997. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 6, 18 p. (1997).
MSC:  68Q55 68T27
BibTeX Cite
Full Text: Link

Filter Results by …

Document Type
Year of Publication