An Extension of the Knuth-Bendix Ordering with LPO-Like Properties

From MaRDI portal
Publication:3498479

DOI10.1007/978-3-540-75560-9_26zbMath1137.03306OpenAlexW1584399668MaRDI QIDQ3498479

Uwe Waldmann, Michel Ludwig

Publication date: 15 May 2008

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

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




Related Items (17)


Uses Software


Cites Work


This page was built for publication: An Extension of the Knuth-Bendix Ordering with LPO-Like Properties