The Computability Path Ordering: The End of a Quest

From MaRDI portal
Publication:3540166

DOI10.1007/978-3-540-87531-4_1zbMath1156.68568OpenAlexW1558388494MaRDI QIDQ3540166

Albert Rubio, Jean-Pierre Jouannaud, Frédéric Blanqui

Publication date: 20 November 2008

Published in: Computer Science Logic (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/inria-00288209v2/file/main.pdf



Related Items



Cites Work