scientific article
From MaRDI portal
Publication:3923593
zbMath0469.68041MaRDI QIDQ3923593
Robert S. Streett, Albert R. Meyer, Grazyna Mirkowska
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Abstract data types; algebraic specification (68Q65) Complexity of computation (including implicit computational complexity) (03D15) General topics in the theory of software (68N01)
Related Items (2)
\(\Pi_ 1^ 1\)-universality of some propositional logics of concurrent programs ⋮ On the completeness of propositional Hoare logic
This page was built for publication:
