scientific article; zbMATH DE number 3686773

MaRDI QIDQ3881900zbMATH OpenFDO

Authors Grazyna Mirkowska

Publication date 1980

zbMATH Keywords

completenessalgorithmic logicnon-deterministic program

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Cited in

(6)

• Trees and diagrams of decomposition
• Programs and logics
• While-programs with nondeterministic assignments and the logic ALNA
• Nondeterministic three-valued logic: isotonic and guarded truth-functions
• A complete axiomatic characterization of first-order temporal logic of linear time
• Program-substitution and admissibility of rules in algorithmic logic

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)