scientific article; zbMATH DE number 3566183
From MaRDI portal
Publication:4138150
zbMath0363.68078MaRDI QIDQ4138150
Publication date: 1977
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Arithmetical completeness in first-order dynamic logic for concurrent programs ⋮ Methods and means of parallel processing of information
This page was built for publication: