Approach to the construction of algebraic models of algorithms and programs

DOI10.1007/BF02366576MaRDI QIDQ1364100zbMATH OpenOpenAlexFDO

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

Recommendations

• Complete interpretations of \(\Omega\)-languages and free algebras of \(\Omega\)-elements
• Omega algebras and regular equations
• scientific article; zbMATH DE number 3936508
• Identical transformations in algebras of nondeterministic algorithms. I

Cites work

• scientific article; zbMATH DE number 3177943 (Why is no real title available?)
• Identical transformations in algebras of nondeterministic algorithms. I
• On languages over an alphabet interpreted in a boolean algebra

Cited in

(7)

• Omega algebras and regular equations
• scientific article; zbMATH DE number 3872646 (Why is no real title available?)
• Structural models of algorithms in problems of applied programming. II: Structural-algorithmic approach to software simulation
• scientific article; zbMATH DE number 3847211 (Why is no real title available?)
• scientific article; zbMATH DE number 5181785 (Why is no real title available?)
• Formalization of algorithmic knowledge of object domains in terms of the algebra of algorithmics
• scientific article; zbMATH DE number 2130868 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1364100)