scientific article; zbMATH DE number 3558929

MaRDI QIDQ4130967zbMATH OpenFDO

Authors Andrzej Blikle

Publication date 1977

Full work available at URL https://eudml.org/doc/208571, http://matwbn.icm.edu.pl/tresc.php?wyd=5&tom=2

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Algorithms in computer science (68W99)

Cited in

(6)

• Programs and logics
• DFC-algorithms for Suszko logic and one-to-one Gentzen type formalizations
• On the total correctness of nondeterministic programs
• An algebraic characterization of the behaviour of non-sequential systems
• Semantics of algorithmic languages
• Correctness of recursive parallel nondeterministic flow programs

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