Certified Higher-Order Recursive Path Ordering
From MaRDI portal
Publication:3527297
DOI10.1007/11805618_17zbMath1151.68634MaRDI QIDQ3527297
Publication date: 25 September 2008
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11805618_17
Related Items
Coq formalization of the higher-order recursive path ordering, CoLoR: a Coq library on well-founded rewrite relations and its application to the automated verification of termination certificates
Uses Software