The multiplicative fragment of the Yanov equational theory

DOI10.1016/S0304-3975(02)00887-3zbMATH Open1022.68066OpenAlexW2071718917MaRDI QIDQ1399998FDOQ1399998

Igor Dolinka

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

zbMATH Keywords

formal languagesregular languagesequational theory

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

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)