DMCA

Proving Associative-Commutative Termination Using RPO-compatible Orderings (2000)

Cached

Download Links

by Deepak Kapur , G. Sivakumar
Venue:in Proc. Automated Deduction in Classical and NonClassical Logics, LNAI 1761
Citations:3 - 2 self