scientific article
From MaRDI portal
Publication:3953160
zbMath0491.68033MaRDI QIDQ3953160
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
arithmetical completeness of a second-order axiomatization of dynamic logic with array assignmentspartial correctness of a sorting algorithm
Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)
Related Items (1)
This page was built for publication:
