scientific article

zbMATH Open0584.03018MaRDI QIDQ3708782

Ewa Orłowska

Publication date: 1985

Title of this publication is not available (Why is that?)

zbMATH Keywords

complete axiomatizationdefinability of sets of states of programsdistinguishability of statesextension of propositional program logicsquantifiers binding propositional variables

Mathematics Subject Classification ID

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

Related Items (3)

Automata, Languages and Programming ⋮ Title not available (Why is that?) ⋮ Bibliography of Ewa Orłowska

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 Q3708782)