Operational termination of membership equational programs. the order-sorted way (2008)

Cached

Download Links

by Salvador Lucas , José Meseguer
Citations:21 - 9 self