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

Document Versions

A Transformation System Combining Partial Evaluation with Term Rewriting –Françoise Bellegarde — 1993 — In Higher Order Algebra, Logic and Term Rewriting (HOA '93), volume 816 of LNCS
A Transformation System Combining Partial Evaluation with Term Rewriting –Françoise Bellegarde — 1993
A Transformation System Combining Partial Evaluation with Term Rewriting –Françoise Bellegarde — 1994