The multiplicative fragment of the Yanov equational theory
From MaRDI portal
Publication:1399998
DOI10.1016/S0304-3975(02)00887-3zbMATH Open1022.68066OpenAlexW2071718917MaRDI QIDQ1399998FDOQ1399998
Publication date: 30 July 2003
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0304-3975(02)00887-3
Cites Work
- The equational logic of fixed points
- Equational axioms for regular sets
- Title not available (Why is that?)
- Complete systems of \(\mathcal B\)-rational identities
- A completeness theorem for Kleene algebras and the algebra of regular events
- Title not available (Why is that?)
- On the Forms of the Predicates in the Theory of Constructive Ordinals
- Title not available (Why is that?)
- Title not available (Why is that?)
- On equations for union-free regular languages
Recommendations
- Axiomatizing the identities of binoid languages π π
- On axioms for commutative regular equations without addition. π π
- Axiomatizing the equational theory of regular tree languages π π
- Title not available (Why is that?) π π
- Infinitary Axiomatization of the Equational Theory of Context-Free Languages π π
This page was built for publication: The multiplicative fragment of the Yanov equational theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1399998)