DMCA

Automated Incremental Termination Proofs for Hierarchically Defined Term Rewriting Systems (2001)

Cached

Download Links

by Xavier Urbain
Venue:In Proc. IJCAR 2001, LNAI 2083
Citations:15 - 2 self