scientific article; zbMATH DE number 3558939

MaRDI QIDQ4130977zbMATH OpenFDO

Authors Grazyna Mirkowska

Publication date 1977

Mathematics Subject Classification ID

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

Cited in

(7)

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

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