Completion for multiple reduction orderings

DOI10.1023/A:1006129631807MaRDI QIDQ1808564zbMATH OpenOpenAlexFDO

Authors Masahito Kurihara, Hisashi Kondo

Publication date 25 November 1999

Published in Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1006129631807

zbMATH Keywords

completion procedureMKR

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Completion for multiple reduction orderings
• Multi-completion with termination tools
• scientific article; zbMATH DE number 1263425
• Termination tools in ordered completion
• scientific article; zbMATH DE number 1241620

Cited in

(7)

• Extending reduction orderings to ACU-compatible reduction orderings
• Multi-completion with termination tools
• Multi-completion with Termination Tools (System Description)
• Completion for multiple reduction orderings
• AC completion with termination tools
• Termination tools in ordered completion
• Towards automated deduction in cP systems

This page was built for publication: Completion for multiple reduction orderings

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