Maribel Fern\'andez (King's College London)

Identifiers

• name variant Maribel Fern\'andez (King's College London) 0.60 · backfill

Papers (8)

1. From nominal to higher-order rewriting and back again cs.LO · 2015 · author #2
2. Elementary Deduction Problem for Locally Stable Theories with Normal Forms cs.LO · 2013 · author #2
3. Higher-order port-graph rewriting cs.LO · 2012 · author #1
4. A new graphical calculus of proofs cs.LO · 2011 · author #2
5. PORGY: Strategy-Driven Interactive Transformation of Graphs cs.CE · 2011 · author #3
6. Strategic programming on graph rewriting systems cs.PL · 2010 · author #1
7. Closed nominal rewriting and efficiently computable nominal algebra equality cs.LO · 2010 · author #1
8. Proceedings Ninth International Workshop on Reduction Strategies in Rewriting and Programming cs.PL · 2010 · author #1

Mentions

• 1509.05318 #2 · backfill · confidence 0.70 Maribel Fern\'andez (King's College London)
• 1303.7328 #2 · backfill · confidence 0.70 Maribel Fern\'andez (King's College London)
• 1211.4098 #1 · backfill · confidence 0.70 Maribel Fern\'andez (King's College London)
• 1102.2655 #2 · backfill · confidence 0.70 Maribel Fern\'andez (King's College London)
• 1102.2654 #3 · backfill · confidence 0.70 Maribel Fern\'andez (King's College London)
• 1012.5560 #1 · backfill · confidence 0.70 Maribel Fern\'andez (King's College London)
• 1009.2791 #1 · backfill · confidence 0.70 Maribel Fern\'andez (King's College London)
• 1001.4573 #1 · backfill · confidence 0.70 Maribel Fern\'andez (King's College London)

Frequent Coauthors

• Olivier Namet (King's College London) 2 shared papers
• Bruno Pinaud (INRIA Bordeaux Sud-Ouest) 1 shared papers
• Daniele Nantes-Sobrinho (Universidade de Bras\'ilia) 1 shared papers
• Guy Melan\c{c}on (INRIA Bordeaux Sud-Ouest) 1 shared papers
• H\'el\`ene Kirchner (INRIA Bordeaux Sud-Ouest) 1 shared papers
• Ian Mackie (Ecole Polytechnique) 1 shared papers
• Jes\'us Dom\'inguez (King's College London) 1 shared papers
• Mauricio Ayala-Rinc\'on (Universidade de Bras\'ilia) 1 shared papers
• Murdoch J. Gabbay (Heriot-Watt University) 1 shared papers
• Oana Andrei (School of Computing Science 1 shared papers
• Sandra Alves (University of Porto) 1 shared papers
• S\'ebastien Maulat (\'Ecole Normale Sup\'erieure de Lyon) 1 shared papers
• University of Glasgow) 1 shared papers