DMCA

Approximation and Normalization Results for Typeable Term Rewriting Systems (1996)

by Steffen Van Bakel , Maribel Fernández
Venue:Proceedings of HOA ’95. Second International Workshop on Higher Order Algebra, Logic and Term Rewriting
Citations:11 - 11 self