The multiplicative fragment of the Yanov equational theory

DOI10.1016/S0304-3975(02)00887-3MaRDI QIDQ1399998zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Axiomatizing the identities of binoid languages
• On axioms for commutative regular equations without addition.
• Axiomatizing the equational theory of regular tree languages
• scientific article; zbMATH DE number 1136085
• Infinitary axiomatization of the equational theory of context-free languages

Cites work

• scientific article; zbMATH DE number 67032 (Why is no real title available?)
• scientific article; zbMATH DE number 3307592 (Why is no real title available?)
• scientific article; zbMATH DE number 3316966 (Why is no real title available?)
• scientific article; zbMATH DE number 3366846 (Why is no real title available?)
• A completeness theorem for Kleene algebras and the algebra of regular events
• Complete systems of \(\mathcal B\)-rational identities
• Equational axioms for regular sets
• On equations for union-free regular languages
• On the Forms of the Predicates in the Theory of Constructive Ordinals
• The equational logic of fixed points

Cited in

(1)

• Axiomatizing the identities of binoid 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)