scientific article

zbMATH Open0459.68001MaRDI QIDQ3909985

Helena Rasiowa

Publication date: 1980

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

zbMATH Keywords

formal semanticscoroutineslogic of programsformal algorithms

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01) Algorithms in computer science (68W99)

Related Items (2)

On logic of complex algorithms ⋮ Semantics of algorithmic languages

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