On dynamic algebras

DOI10.1016/0304-3975(94)90279-8zbMath0823.68046OpenAlexW2014676306MaRDI QIDQ1341742

Rozália Sz. Madarász, Siniša Crvenković

Publication date: 9 January 1995

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(94)90279-8

zbMATH Keywords

Kleene algebraLindenbaum-Tarski algebrasdynamic logics

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Formal languages and automata (68Q45)

Cites Work

• Equational properties of Kleene algebras of relations with conversion
• Every free algebra in the variety generated by the representable dynamic algebras is separable and representable
• Complete systems of \(\mathcal B\)-rational identities
• Dynamic algebras: Examples, constructions, applications
• Notes on equational theories of relations
• Equational axioms for regular sets
• A Variety with Solvable, but not Uniformly Solvable, Word Problem
• Two Complete Axiom Systems for the Algebra of Regular Events
• Embeddability and the Word Problem
• On Kleene algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On dynamic algebras