Recursive Path Orderings Can Also Be Incremental

DOI10.1007/11591191_17zbMath1143.68425OpenAlexW1556299295MaRDI QIDQ5387842

Mirtha-Lina Fernández, Albert Rubio, Guillem Godoy

Publication date: 27 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/11591191_17

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (1)

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

This page was built for publication: Recursive Path Orderings Can Also Be Incremental