Formalization of algorithmic knowledge of object domains in terms of the algebra of algorithmics
type: Item
instance of: scholarly article
title: Formalization of algorithmic knowledge of object domains in terms of the algebra of algorithmics
zbMATH Open document ID: 1154.68545
author: A. E. Doroshenko
author: L. M. Zakhariya
author: G. E. Tseitlin
published in: Cybernetics and Systems Analysis
publication date: 2008-09-04T00:00:00Z
Mathematics Subject Classification ID: 68U07
Mathematics Subject Classification ID: 68N99
zbMATH DE Number: 5320950
zbMATH Keywords: clones of algebras
zbMATH Keywords: codd's algebra
zbMATH Keywords: functional completeness
zbMATH Keywords: lattice of maximal subalgebras
zbMATH Keywords: \(n\)-ary relation
zbMATH Keywords: composition of \(n\)-relations
zbMATH Keywords: functionality of n-relations
MaRDI profile type: Publication
full work available at URL: s10559-007-0101-3
OpenAlex ID: W2087188217
cites work: Q5556474
cites work: Q3290722
cites work: The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
cites work: Glushkov algebras and clone theory
cites work: Q5613923
cites work: Issues of algorithmics and Glushkov's systems of algorithmic algebras
cites work: A relational model of data for large shared data banks
cites work: Q4091841
cites work: Q4746796
cites work: Q3036716
cites work: The problem of functional completeness of metaalgebras of regular events
cites work: Integrated tools for design and synthesis of classes of algorithms and programs
cites work: Algebras of hyperschemes and integrated tools for synthesis of programs in modern object-oriented environments
DOI: 10.1007/S10559-007-0101-3
Recommended article: Algebraic-algorithmic means for designing knowledge of object domains
Recommended article: An algebraic approach to formalization of object-orientation*
Recommended article: Q4706861
Recommended article: Q4941909
Recommended article: Algebraic specifications for domain theory
Recommended article: Formalization of interrelations between operators and data within the framework of an extended algebra of algorithms
Recommended article: Q3707401
Recommended article: Q3707383
Recommended article: Approach to the construction of algebraic models of algorithms and programs
Recommended article: Q4005171
description: scientific article; zbMATH DE number 5320950