Termination and confluence of higher-order rewrite systems (2000)

Cached

Download Links

by Frédéric Blanqui
Venue:In Proc. RTA ’00, volume 1833 of LNCS
Citations:14 - 8 self