Pages that link to "Item:Q1922339"
From MaRDI portal
The following pages link to Functional completeness criteria in Dijkstra algebra (Q1922339):
Displayed 4 items.
- Constructing the lattice of subalgebras of the Dijkstra algebra (Q1264604) (← links)
- Functional completeness in iterative meta-algebras (Q1280934) (← links)
- Issues of algorithmics and Glushkov's systems of algorithmic algebras (Q1288661) (← links)
- Criteria of functional completeness for meta-algebras without assignments of logical constants (Q1974307) (← links)