scientific article; zbMATH DE number 3558939

zbMath0358.68036MaRDI QIDQ4130977

Grazyna Mirkowska

Publication date: 1977

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

Mathematics Subject Classification ID

General topics in the theory of software (68N01) General logic (03B99)

Related Items

Program-substitution and admissibility of rules in algorithmic logic, Universality and semicomputability for nondeterministic programming languages over abstract algebras, Algorithmic logic. Multiple-valued extensions, Étude et implémentation d'un système de déduction pour logique algorithmique, Logical analysis of demonic nondeterministic programs, Normal forms in total correctness for while programs and action systems, On the elimination of iteration quantifiers in a fragment of algorithmic logic