scientific article; zbMATH DE number 6027911

DOI10.4230/LIPIcs.RTA.2010.373zbMath1236.68156MaRDI QIDQ5389156

Aart Middeldorp, Sarah Winkler, Haruhiko Sato, Masahito Kurihara

Publication date: 25 April 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_fae3.html

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

automated deductionKnuth-Bendix completiontermination prover

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items

Multi-completion with termination tools ⋮ AC Completion with Termination Tools ⋮ Proving Termination Properties with mu-term

Uses Software

• VAMPIRE
• TPTP
• Tyrolean
• mkbTT
• Slothrop
• Waldmeister