Maria Alpuente

Identifiers

No identifiers captured yet.

Papers (3)

1. Partial Evaluation of Order-sorted Equational Programs modulo Axioms cs.PL · 2016 · author #1
2. Removing Redundant Arguments Automatically cs.PL · 2006 · author #1
3. Specialization of Functional Logic Programs Based on Needed Narrowing cs.PL · 2004 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Salvador Lucas 2 shared papers
• Santiago Escobar 2 shared papers
• Angel Cuenca 1 shared papers
• German Vidal 1 shared papers
• Jose Meseguer 1 shared papers
• Michael Hanus 1 shared papers