Completion for multiple reduction orderings

DOI10.1023/A:1006129631807zbMath0951.68149OpenAlexW1506460945MaRDI QIDQ1808564

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)

Related Items (5)

Multi-completion with termination tools ⋮ Towards automated deduction in cP systems ⋮ Multi-completion with Termination Tools (System Description) ⋮ Termination Tools in Ordered Completion ⋮ AC Completion with Termination Tools

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