Identical transformations in algebras of nondeterministic algorithms. I

DOI10.1007/BF01069413zbMath0607.68025OpenAlexW4248069296MaRDI QIDQ3746878

Yu. A. Yushchenko

Publication date: 1985

Published in: Cybernetics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01069413

zbMATH Keywords

nondeterminismaxiomatizationalgebra of algorithms

Mathematics Subject Classification ID

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

Related Items (2)

Approach to the construction of algebraic models of algorithms and programs ⋮ Algebraic-grammatical models of parallel computation

Cites Work

• Problem of identity transformations of nondeterministic program shcemes in algorithmic algebra systems
• Algorithmic decidability of the Church-Rosser property in algebras of nondeterminate algorithms with closed logical conditions

This page was built for publication: Identical transformations in algebras of nondeterministic algorithms. I