Pages that link to "Item:Q674338"

The following pages link to Equational properties of Kleene algebras of relations with conversion (Q674338):

Displaying 15 items.

• Algorithms for Kleene algebra with converse (Q299194) (← links)
• Axiomatizability of representable domain algebras (Q624383) (← links)
• Axiomatizability of positive algebras of binary relations (Q647324) (← links)
• The equational theory of Kleene lattices (Q655418) (← links)
• On dynamic algebras (Q1341742) (← links)
• Notes on equational theories of relations (Q1344844) (← links)
• The equational logic of fixed points (Q1391734) (← links)
• On equations for union-free regular languages (Q1854402) (← links)
• The variety of Kleene algebras with conversion is not finitely based (Q1978513) (← links)
• Equational theories for automata (Q2074221) (← links)
• Map composition generalized to coherent collections of maps. (Q2355647) (← links)
• (Q3304097) (← links)
• (Q5089295) (← links)
• Reversible Kleene lattices (Q5111283) (← links)
• (Q5875344) (← links)