On finite model property of the equational theory of Kleene algebras

MaRDI QIDQ5472890zbMATH OpenFDO

Authors Ewa Palka

Publication date 19 June 2006

zbMATH Keywords

action algebrasregular expressions

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Formal languages and automata (68Q45)

Recommendations

• Completeness for identity-free Kleene lattices
• Kleene algebra with equations
• On Kleene algebras
• A completeness theorem for Kleene algebras and the algebra of regular events
• scientific article; zbMATH DE number 1086671

Cited in

(8)

• A completeness theorem for Kleene algebras and the algebra of regular events
• scientific article; zbMATH DE number 1696720 (Why is no real title available?)
• scientific article; zbMATH DE number 1113856 (Why is no real title available?)
• Completeness for identity-free Kleene lattices
• Kleene algebra with equations
• On Kleene algebras
• Completeness and the finite model property for Kleene algebra, reconsidered
• An elementary proof of the FMP for Kleene algebra

This page was built for publication: On finite model property of the equational theory of Kleene algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5472890)