Mar\'ia Alpuente
Identifiers
No identifiers captured yet.
Papers (4)
- Symbolic Analysis of Maude Theories with Narval cs.LO · 2019 · author #1
- Homeomorphic Embedding modulo Combinations of Associativity and Commutativity Axioms cs.PL · 2018 · author #1
- Inspecting Maude Variants with GLINTS cs.LO · 2017 · author #1
- Symbolic Abstract Contract Synthesis in a Rewriting Framework cs.PL · 2016 · author #1
Mentions
No mention provenance yet.
Frequent Coauthors
- Santiago Escobar 3 shared papers
- Angel Cuenca-Ortega 2 shared papers
- Julia Sapi\~na 2 shared papers
- Alicia Villanueva 1 shared papers
- Daniel Pardo 1 shared papers
- Demis Ballis 1 shared papers
- Jos\'e Meseguer 1 shared papers