Multi-completion with Termination Tools (System Description)

DOI10.1007/978-3-540-71070-7_26zbMath1165.68472OpenAlexW1503582975MaRDI QIDQ3541711

Haruhiko Sato, Aart Middeldorp, Sarah Winkler, Masahito Kurihara

Publication date: 27 November 2008

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

Full work available at URL: https://doi.org/10.1007/978-3-540-71070-7_26

Mathematics Subject Classification ID

Related Items (5)

A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods ⋮ Multi-completion with termination tools ⋮ Towards automated deduction in cP systems ⋮ Termination Tools in Ordered Completion ⋮ AC Completion with Termination Tools

Uses Software

• mkbTT
• Slothrop

Cites Work

• Knuth-Bendix completion of theories of commuting group endomorphisms
• Completion for multiple reduction orderings
• Slothrop: Knuth-Bendix Completion with a Modern Termination Checker
• Unnamed Item
• Unnamed Item

This page was built for publication: Multi-completion with Termination Tools (System Description)