×

zbMATH — the first resource for mathematics

Found 12 Documents (Results 1–3)

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 …

Document Type
Author
Year of Publication
Classification
Software