A Transformation System Combining Partial Evaluation with Term Rewriting (1993)

Cached

Download Links

by Françoise Bellegarde
Venue:In Higher Order Algebra, Logic and Term Rewriting (HOA '93), volume 816 of LNCS
Citations:6 - 5 self