Normalized rewriting: An alternative to rewriting modulo a set of equations

DOI10.1006/JSCO.1996.0011MaRDI QIDQ2563692zbMATH OpenOpenAlexFDO

Authors Claude Marché

Publication date 21 January 1997

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

Full work available at URL https://doi.org/10.1006/jsco.1996.0011

zbMATH Keywords

Buchberger algorithmnormalized rewriting

Mathematics Subject Classification ID

Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Grammars and rewriting systems (68Q42)

Recommendations

• Normalized completion revisited
• scientific article; zbMATH DE number 1241628
• Termination and completion modulo associativity, commutativity and identity
• An algorithm for finding canonical sets of ground rewrite rules in polynomial time

Cited in

(30)

• Combination of convex theories: modularity, deduction completeness, and explanation
• Superposition theorem proving for abelian groups represented as integer modules
• Superposition with completely built-in abelian groups
• Cancellative Abelian monoids and related structures in refutational theorem proving. I
• Cancellative Abelian monoids and related structures in refutational theorem proving. II
• Coherent confluence modulo relations and double groupoids
• A new symbolic method for solving linear two-point boundary value problems on the level of operators
• Modular and incremental proofs of AC-termination
• Term collections in {\(\lambda\)} and {\(\rho\)}-calculi
• Canonical abstract syntax trees
• Extending reduction orderings to ACU-compatible reduction orderings
• Normalized completion revisited
• Algebraic databases
• Canonized Rewriting and Ground AC Completion Modulo Shostak Theories
• TERM REWRITE RULES FOR FINITE FIELDS
• Dependency Pairs for Rewriting with Built-In Numbers and Semantic Data Structures
• Standard Gröbner-Shirshov Bases of Free Algebras Over Rings, I
• scientific article; zbMATH DE number 1241628 (Why is no real title available?)
• scientific article; zbMATH DE number 1405627 (Why is no real title available?)
• A case study of completion modulo distributivity and Abelian groups
• AC-complete unification and its application to theorem proving
• Extending Maximal Completion (Invited Talk)
• Extensions of unification modulo ACUI
• Operational termination of conditional rewriting with built-in numbers and semantic data structures
• Confluence of algebraic rewriting systems
• Modularity and Combination of Associative Commutative Congruence Closure Algorithms enriched with Semantic Properties
• Left-Linear Completion with AC Axioms
• Left-linear completion with AC axioms
• Congruence closure modulo groups
• Anti-patterns for rule-based languages

This page was built for publication: Normalized rewriting: An alternative to rewriting modulo a set of equations

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