scientific article
From MaRDI portal
Publication:2721215
zbMath0963.68519MaRDI QIDQ2721215
Publication date: 1 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
IeanCOP: lean connection-based theorem proving ⋮ A domain-specific language for cryptographic protocols based on streams ⋮ First order Stålmarck. Universal lemmas through branch merges
Uses Software
This page was built for publication:
