×

zbMATH — the first resource for mathematics

Completeness proofs for some logics of programs. (English) Zbl 0491.03008

MSC:
03B60 Other nonclassical logic
68N01 General topics in the theory of software
68Q65 Abstract data types; algebraic specification
03C75 Other infinitary logic
PDF BibTeX XML Cite
Full Text: DOI