scientific article; zbMATH DE number 3558929

zbMath0358.68026MaRDI QIDQ4130967

Andrzej Blikle

Publication date: 1977

Full work available at URL: https://eudml.org/doc/208571

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items

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 ⋮ Programs and logics ⋮ DFC-algorithms for Suszko logic and one-to-one Gentzen type formalizations