×

zbMATH — the first resource for mathematics

Found 15 Documents (Results 1–15)

100
MathJax
Birkedal, Lars (ed.), Proceedings of the 32nd conference on the mathematical foundations of programming semantics (MFPS XXXII), Carnegie Mellon University, Pittsburgh, PA, USA, May 23–26, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 325, 237-252 (2016).
MSC:  68Q85 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Huth, Michael R. A. (ed.), Proceedings of the fourth international workshop on automated verification of critical systems (AVoCS 2004), London, UK, September 4, 2004. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 128, No. 6, 127-144 (2005).
MSC:  68N99 68Q60
PDF BibTeX XML Cite
Full Text: Link
Gumm, H. Peter (ed.), CMCS’03: Coalgebraic methods in computer science. Proceedings of the 6th workshop (satellite event of ETAPS 2003), Warsaw, April 5–6, 2003. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 82, No. 1, 206-220 (2003).
MSC:  68Q65 68Q85 68Q55
PDF BibTeX XML Cite
Full Text: Link