Pair algebras and Galois connections.
From MaRDI portal
Publication:293350
DOI10.1016/S0020-0190(98)00107-0zbMath1341.06004OpenAlexW2145058725MaRDI QIDQ293350
Publication date: 9 June 2016
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S0020019098001070?np=y
Partial orders, general (06A06) Applications of universal algebra in computer science (08A70) Galois correspondences, closure operators (in relation to ordered sets) (06A15)
Related Items
Cites Work
- Some Galois connections in elementary number theory
- The Mathematics of Sentence Structure
- Temporal algebra
- Pair algebra and its application to automata theory
- An axiomatic basis for computer programming
- Galois Connexions
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item