×

zbMATH — the first resource for mathematics

Found 9 Documents (Results 1–9)

100
MathJax
Aceto, Luca (ed.) et al., Proceedings of the workshop “Essays on algebraic process calculi” (APC 25), Bertinoro, Italy, August 1–5, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 162, 287-293 (2006).
MSC:  68Q85 03B50
PDF BibTeX XML Cite
Full Text: DOI
Beckmann, Arnold (ed.) et al., Logical approaches to computational barriers. Second conference on computability in Europe, CiE 2006, Swansea, UK, June 30–July 5, 2006. Proceedings. Berlin: Springer (ISBN 3-540-35466-2/pbk). Lecture Notes in Computer Science 3988, 445-458 (2006).
MSC:  68N30 68N15 68Q85
PDF BibTeX XML Cite
Full Text: DOI