Jaime S\'anchez-Hern\'andez

Identifiers

• name variant Jaime S\'anchez-Hern\'andez 0.60 · backfill

Papers (1)

1. Rewriting and narrowing for constructor systems with call-time choice semantics cs.PL · 2012 · author #4

Mentions

• 1209.2617 #4 · backfill · confidence 0.70 Jaime S\'anchez-Hern\'andez

Frequent Coauthors

• Enrique Martin-Martin 1 shared papers
• Francisco J. L\'opez-Fraguas 1 shared papers
• Juan Rodr\'iguez-Hortal\'a 1 shared papers