DMCA

A complexity tradeoff in ranking-function termination proofs (2009)

Cached

Download Links

by Amir M. Ben-amram
Venue:Acta Informatica
Citations:8 - 3 self