Models of a K-rational identity system

DOI10.1016/0022-0000(92)90033-FMaRDI QIDQ1201883zbMATH OpenOpenAlexFDO

Authors Daniel Krob

Publication date 17 January 1993

Published in Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0022-0000(92)90033-f

zbMATH Keywords

rational expressionspositive semiring

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Algebraic theory of languages and automata (68Q70)

Recommendations

• scientific article; zbMATH DE number 18591
• Matrix versions of aperiodic $K$-rational identities
• Complete systems of \(\mathcal B\)-rational identities
• scientific article; zbMATH DE number 41838
• DIFFERENTIATION OF K-RATIONAL EXPRESSIONS

Cites work

• scientific article; zbMATH DE number 4014944 (Why is no real title available?)
• scientific article; zbMATH DE number 3871511 (Why is no real title available?)
• scientific article; zbMATH DE number 3915644 (Why is no real title available?)
• scientific article; zbMATH DE number 3932372 (Why is no real title available?)
• scientific article; zbMATH DE number 3687544 (Why is no real title available?)
• scientific article; zbMATH DE number 18591 (Why is no real title available?)
• scientific article; zbMATH DE number 3497806 (Why is no real title available?)
• scientific article; zbMATH DE number 3537632 (Why is no real title available?)
• scientific article; zbMATH DE number 3334182 (Why is no real title available?)
• scientific article; zbMATH DE number 3366846 (Why is no real title available?)
• Complete systems of \(\mathcal B\)-rational identities
• Monoides et semi-anneaux complets. (Complete monoids and semirings)

Cited in

(8)

• scientific article; zbMATH DE number 177804 (Why is no real title available?)
• Derivatives of rational expressions and related theorems.
• On embedding in complete semirings
• The equational logic of fixed points
• scientific article; zbMATH DE number 18591 (Why is no real title available?)
• Axiomatizing rational power series over natural numbers
• On a question of A. Salomaa The equational theory of regular expressions over a singleton alphabet is not finitely based
• Inductive semimodules and the vector modules over them.

This page was built for publication: Models of a \(K\)-rational identity system

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