scientific article; zbMATH DE number 3351505
From MaRDI portal
Publication:5626601
zbMath0222.02010MaRDI QIDQ5626601
Publication date: 1971
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Non-standard algorithmic and dynamic logic, Program-substitution and admissibility of rules in algorithmic logic, Proving the correctness of regular deterministic programs: A unifying survey using dynamic logic, Contribution of Warsaw logicians to computational logic, On the Completeness of Dynamic Logic, Hoare's logic for nondeterministic regular programs: A nonstandard approach, The propositional dynamic logic of deterministic, well-structured programs