Perpetuality and Uniform Normalization (1997)

Cached

Download Links

by Zurab Khasidashvili , Mizuhito Ogawa
Venue:In Proc. of the 6 th International Conference on Algebraic and Logic Programming, ALP'97
Citations:4 - 2 self