DMCA

Generating Polynomial Orderings for Termination Proofs (1995)

Cached

Download Links

by Jürgen Giesl
Venue:In Proc. 6th RTA, LNCS 914
Citations:46 - 22 self