How to Give Local Strategies to Function Symbols for Equality of Two Implementations of the E-strategy with and without Evaluated Flags (1998)

Cached

Download Links

by Takashi Nagaya , Michihiro Matsumoto , Kazuhiro Ogata , Kokichi Futatsugi
Venue:Proceedings of Asian Symposium on Computer Mathematics
Citations:3 - 1 self