A Unifying Approach to Recursive and Co-recursive Definitions (2002)

Cached

Download Links

by Pietro Di Gianantonio , Marino Miculan
Venue:IN [5
Citations:9 - 1 self