Constructing the lattice of subalgebras of the Dijkstra algebra

DOI10.1007/BF02665937zbMath0906.03065OpenAlexW2047886071MaRDI QIDQ1264604

G. E. Tsejtlin

Publication date: 19 November 1998

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

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

zbMATH Keywords

expressibilityclosed classesfunctional completenesslattice of subalgebrasDijkstra algebrastructure schemes

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Other algebras related to logic (03G25)

Cites Work

• Functional completeness criteria in Dijkstra algebra

This page was built for publication: Constructing the lattice of subalgebras of the Dijkstra algebra