zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

Jacobs, Bart (ed.) et al., Proceedings of the 30th conference on the mathematical foundations of programming semantics (MFPS XXX), Ithaca, NY, USA, June 12–15, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 308, 167-182, electronic only (2014).
MSC:  68Q55 06B35
BibTeX Cite
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
Year of Publication