×

zbMATH — the first resource for mathematics

Found 10 Documents (Results 1–10)

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