DMCA

Normalization Results for Typeable Rewrite Systems (1997)

Cached

Download Links

by Steffen van Bakel , Maribel Fernández
Citations:30 - 26 self