scientific article
From MaRDI portal
Publication:3883471
zbMath0441.68023MaRDI QIDQ3883471
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other nonclassical logic (03B60) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)
Related Items (3)
Program-substitution and admissibility of rules in algorithmic logic ⋮ First-order approximation of algorithmic theories ⋮ Semantics of algorithmic languages
This page was built for publication:
