Reduction relations for monoid semirings

DOI10.1016/J.JSC.2003.07.002MaRDI QIDQ2643513zbMATH OpenOpenAlexFDO

Authors Friedrich Otto, O. V. Sokratova

Publication date 24 August 2007

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jsc.2003.07.002

zbMATH Keywords

congruenceconfluencesemiringterminationrewriting systemcritical pairreduction relation

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Grammars and rewriting systems (68Q42) Semirings (16Y60)

Recommendations

• Relating rewriting techniques on monoids and rings: congruences on monoids and ideals in monoid rings
• Partial monoids: associativity and confluence.
• Some results on Green's relations for monoids presented by monadic string-rewriting systems
• Reduction operators and completion of rewriting systems
• Rewrite systems for varieties of semigroups

Cites work

• scientific article; zbMATH DE number 4077463 (Why is no real title available?)
• scientific article; zbMATH DE number 1241626 (Why is no real title available?)
• scientific article; zbMATH DE number 1257742 (Why is no real title available?)
• scientific article; zbMATH DE number 1163636 (Why is no real title available?)
• scientific article; zbMATH DE number 1358710 (Why is no real title available?)
• scientific article; zbMATH DE number 789389 (Why is no real title available?)
• scientific article; zbMATH DE number 3299786 (Why is no real title available?)
• scientific article; zbMATH DE number 3091018 (Why is no real title available?)
• A polynomial-time algorithm for checking equivalence under certain semiring congruences motivated by the state-space isomorphism problem for hybrid systems
• On an installation of Buchberger's algorithm
• Proving termination with multiset orderings
• Relating rewriting techniques on monoids and rings: congruences on monoids and ideals in monoid rings
• Termination proofs by multiset path orderings imply primitive recursive derivation lengths
• The Mal'cev lemma and rewriting on semirings

Cited in

(7)

• One-generated semirings and additive divisibility
• Reduced Rickart semirings and their functional representations.
• Ideal basis in constructions defined by directed graphs
• Arithmetic of additively reduced monoid semidomains
• scientific article; zbMATH DE number 3910655 (Why is no real title available?)
• Types of reductive monoids
• Partial monoids: associativity and confluence.

This page was built for publication: Reduction relations for monoid semirings

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