×

zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

Degano, Pierpaolo (ed.) et al., Proceedings of the 2nd workshop on automated reasoning for security protocol analysis (ARSPA 2005), Lisbon, Portugal, July 16, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 135, No. 1, 95-114 (2005).
MSC:  94A62 68M12 68Q42
BibTeX Cite
Full Text: Link
WorldCat.org
Gramlich, Bernhard (ed.) et al., WRS 2003. Proceedings of the 3rd international workshop on reduction strategies in rewriting and programming, Valencia, Spain, June 8, 2003. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 86, No. 4, 657-672 (2003).
MSC:  68Q42 68Q60 68M12
BibTeX Cite
Full Text: Link
WorldCat.org

Filter Results by …

Year of Publication
Classification
Software