On Transfinite Knuth-Bendix Orders

Lecture Notes in Computer Science - Automated Deduction – CADE-23 ◽

10.1007/978-3-642-22438-6_29 ◽

2011 ◽

pp. 384-399 ◽

Author(s):

Laura Kovács ◽

Georg Moser ◽

Andrei Voronkov

Download Full-text