scientific article
From MaRDI portal
Publication:2703702
zbMath0962.68056MaRDI QIDQ2703702
Publication date: 7 May 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theory of programming languages (68N15) Data encryption (aspects in computer science) (68P25) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)
Related Items (3)
Rewriting logic: Roadmap and bibliography ⋮ On the semantics of Alice \& Bob specifications of security protocols ⋮ The rewriting logic semantics project
Uses Software
This page was built for publication:
