scientific article
From MaRDI portal
Publication:3886835
zbMath0443.68007MaRDI QIDQ3886835
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
Non-standard algorithmic and dynamic logic ⋮ Recursive programs and denotational semantics in absolute logics of programs ⋮ A complete logic for reasoning about programs via nonstandard model theory. I ⋮ A complete logic for reasoning about programs via nonstandard model theory. II ⋮ Temporal theories as modularisation units for concurrent system specification
This page was built for publication:
