Well-foundedness of the higher-order recursive path ordering in Coq (2004)

Cached

Download Links

by Adam Koprowski
Citations:5 - 4 self