scientific article; zbMATH DE number 3686773
From MaRDI portal
Publication:3881900
zbMATH Open0439.68024MaRDI QIDQ3881900FDOQ3881900
Authors: Grazyna Mirkowska 
Publication date: 1980
Title of this publication is not available (Why is that?)
Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)
Cited In (6)
- Program-substitution and admissibility of rules in algorithmic logic
- While-programs with nondeterministic assignments and the logic ALNA
- A complete axiomatic characterization of first-order temporal logic of linear time
- Nondeterministic three-valued logic: isotonic and guarded truth-functions
- Trees and diagrams of decomposition
- Programs and logics
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3881900)
