Approach to the construction of algebraic models of algorithms and programs

DOI10.1007/BF02366576zbMath0883.68092OpenAlexW2087503898MaRDI QIDQ1364100

S. V. Surzhko, E. L. Yushchenko

Publication date: 24 August 1997

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

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

zbMATH Keywords

algorithmic algebrasOmega-regular element algebra

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Cites Work

• On languages over an alphabet interpreted in a boolean algebra
• Identical transformations in algebras of nondeterministic algorithms. I
• Unnamed Item

This page was built for publication: Approach to the construction of algebraic models of algorithms and programs