scientific article
From MaRDI portal
Publication:4062665
zbMath0306.68048MaRDI QIDQ4062665
Amir Pnueli, Zohar Manna, E. A. Ashcroft
Publication date: 1971
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Unnamed Item ⋮ Completeness results for the equivalence of recursive schemas ⋮ Classes of formal grammars
This page was built for publication:
