DOI10.1007/BF02665937zbMath0906.03065MaRDI QIDQ1264604
G. E. Tsejtlin
Publication date: 19 November 1998 Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)
zbMATH Keywords
expressibility; closed classes; functional completeness; lattice of subalgebras; Dijkstra algebra; structure schemes
Mathematics Subject Classification ID
68Q65: Abstract data types; algebraic specification
03G25: Other algebras related to logic
Cites Work