DMCA

A Unified Ordering for Termination Proving

Cached

Download Links

by Akihisa Yamadaa , Keiichirou Kusakarib , Toshiki Sakabea