scientific article
From MaRDI portal
Publication:3878737
zbMath0437.68006MaRDI QIDQ3878737
Publication date: 1976
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
The origins of structural operational semantics ⋮ Concurrency and atomicity ⋮ More on advice on structuring compilers and proving them correct ⋮ The chemical abstract machine
This page was built for publication:
