Complete Monotonic Semantic Path Orderings (2000)

Cached

Download Links

by Cristina Borralleras , Maria Ferreira , Albert Rubio
Venue:In Proc. 17th CADE, LNAI 1831
Citations:31 - 8 self