Reduction relations for monoid semirings

DOI10.1016/J.JSC.2003.07.002zbMATH Open1121.68350OpenAlexW2032861224MaRDI QIDQ2643513FDOQ2643513

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

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

zbMATH Keywords

congruenceconfluencesemiringterminationrewriting systemcritical pairreduction relation

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Proving termination with multiset orderings
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On an installation of Buchberger's algorithm
• Title not available (Why is that?)
• Termination proofs by multiset path orderings imply primitive recursive derivation lengths
• The Mal'cev lemma and rewriting on semirings
• A polynomial-time algorithm for checking equivalence under certain semiring congruences motivated by the state-space isomorphism problem for hybrid systems
• Relating rewriting techniques on monoids and rings: congruences on monoids and ideals in monoid rings
• Title not available (Why is that?)

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
• Title not available (Why is that?)
• 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)