- -

Request a copy of the document

RiuNet: Institutional repository of the Polithecnic University of Valencia

Request a copy of the document

A Partial Evaluation Framework for Order-sorted Equational Programs modulo Axioms

Enter the following information to request a copy of the document from the responsible person

  2. This email address is used for sending the document.
  3. Files
  4. to prevent spam must ensure that this functionality is used by real people not bots or replicants