scientific article
From MaRDI portal
Publication:3919064
zbMath0466.68016MaRDI QIDQ3919064
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Model theory (03C99) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01)
Related Items (3)
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. II
This page was built for publication:
