On a characterization of the lattice of subsystems of a transition system

DOI10.1155/IJMMS/2006/82318zbMath1130.06003MaRDI QIDQ2468992

C. Nkuimi-Jugnia, Jean-Paul Mavoungou

Publication date: 1 February 2008

Published in: International Journal of Mathematics and Mathematical Sciences (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/53711

zbMATH Keywords

representation theorem; strongly algebraic lattice; subsystems of transition system

Mathematics Subject Classification ID

08A70: Applications of universal algebra in computer science

06B15: Representation theory of lattices

08A30: Subalgebras, congruence relations

18B35: Preorders, orders, domains and lattices (viewed as categories)

Related Items

Algebraic lattices and locally finitely presentable categories

Cites Work

• Unnamed Item
• Unnamed Item