×

zbMATH — the first resource for mathematics

Found 7 Documents (Results 1–7)

100
MathJax
Lenisa, Mariana (ed.) et al., TOSCA 2001. Proceedings of the workshop on theory of concurrency, higher order languages and types, Udine, Italy, November 19–21, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 62, 157-176 (2002).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Lenisa, Mariana (ed.) et al., TOSCA 2001. Proceedings of the workshop on theory of concurrency, higher order languages and types, Udine, Italy, November 19–21, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 62, 136-156 (2002).
MSC:  68N18 03B70
PDF BibTeX XML Cite
Full Text: DOI
Bauderon, Michel (ed.) et al., GETGRATS closing workshop on graph transformation systems, Bordeaux, France, June 22–23, 2001. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 51, 1-64 (2002).
MSC:  68Q42 68Q60 00A15
PDF BibTeX XML Cite
Full Text: DOI