scientific article
From MaRDI portal
Publication:2704329
zbMath0967.68036MaRDI QIDQ2704329
Publication date: 19 March 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Reasoning about multi-stage programs ⋮ Bisimulation and coinduction enhancements: a historical perspective
This page was built for publication:
