Functional completeness in iterative meta-algebras
type: Item
instance of: scholarly article
title: Functional completeness in iterative meta-algebras
zbMATH Open document ID: 0917.03030
DOI: 10.1007/BF02742065
author: G. E. Tsejtlin
published in: Cybernetics and Systems Analysis
publication date: 1999-05-05T00:00:00Z
Mathematics Subject Classification ID: 03G99
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68N01
zbMATH DE Number: 1262989
zbMATH Keywords: functional completeness
zbMATH Keywords: iterative meta-algebras
zbMATH Keywords: loop constructs
zbMATH Keywords: algebras of algorithms
zbMATH Keywords: structured programming
zbMATH Keywords: goto programming
zbMATH Keywords: maximal subalgebras
zbMATH Keywords: Dijkstra meta-algebra
MaRDI profile type: Publication
Wikidata QID: Q124816500
cites work: The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
cites work: Universal algebras with all operations of bounded range
cites work: Q4198053
cites work: Functional completeness criteria in Dijkstra algebra
cites work: Q3256561
Recommended article: Criteria of functional completeness for meta-algebras without assignments of logical constants
Recommended article: The problem of functional completeness of metaalgebras of regular events
Recommended article: Q4326182
Recommended article: The completeness of functional logic
Recommended article: A category-theoretic characterization of functional completeness
Recommended article: Functional completeness in pseudocomplemented De Morgan algebras
Recommended article: Q3331202
Recommended article: Functional completeness of the mixed \(\lambda\)-calculus and combinatory logic
Recommended article: Relative completeness for logics of functional programs
Recommended article: Q5297339
description: scientific article; zbMATH DE number 1262989