DMCA

Match-Bounds with Dependency Pairs for Proving Termination of Rewrite Systems

Cached

Download Links

by Martin Korp , Aart Middeldorp