Sandra Alves
发表
I. Mackie,
Sandra Alves,
Maribel Fernández,
2009
.
Ian Mackie,
Maribel Fernández,
Sandra Alves,
2010,
Theor. Comput. Sci..
Ian Mackie,
Maribel Fernández,
Sandra Alves,
2007,
Rewriting, Computation and Proof.
Sandra Alves,
Mário Florido,
2022,
ICTAC.
Sandra Alves,
Sabine Broda,
2014
.
Sandra Alves,
Mário Florido,
2004
.
I. Mackie,
Sandra Alves,
2009
.
Gilles Dowek,
Daniel R. Licata,
Sandra Alves,
2016,
LFMTP.
Sandra Alves,
Miguel Ramos,
Maribel Fern'andez,
2021,
ArXiv.
Maribel Fernández,
Sandra Alves,
Sabine Broda,
2015,
LOPSTR.
Maribel Fernández,
Sandra Alves,
Anatoli Degtyarev,
2014,
LOPSTR.
Sandra Alves,
D. Kesner,
Miguel Ramos,
2023,
ArXiv.
Francisco Curbera,
Neelakantan Kartha,
Mircea Marin,
2007
.
Sandra Alves,
Miguel Ramos,
2021,
MFPS.
Sandra Alves,
Jorge Igl'esias,
Sandra Alves,
2021,
ArXiv.
Sandra Alves,
Sabine Broda,
Sandra Alves,
2017,
NCMA.
Sandra Alves,
Sabine Broda,
Sandra Alves,
2015,
Inf. Process. Lett..
Ian Mackie,
Maribel Fernández,
Sandra Alves,
2011,
TERMGRAPH.
Maribel Fernández,
Sandra Alves,
Sandra Alves,
2017,
Theor. Comput. Sci..
Sandra Alves,
Sabine Broda,
João Sá,
2016,
ArXiv.
Sandra Alves,
Mário Florido,
Temur Kutsia,
2017,
Log. J. IGPL.
Ian Mackie,
Sandra Alves,
Mário Florido,
2008,
WRS@RDP.
Sandra Alves,
Mário Florido,
Mário Pereira,
2014,
ITRS.
Maribel Fernández,
Sandra Alves,
Sandra Alves,
2015,
LSFA.
Ian Mackie,
Maribel Fernández,
Sandra Alves,
2010,
High. Order Symb. Comput..
Ian Mackie,
Maribel Fernández,
Mário Florido,
2014,
J. Log. Comput..
Ian Mackie,
Maribel Fernández,
Mário Florido,
2011,
PPDP.
Ian Mackie,
Maribel Fernández,
Sandra Alves,
2010,
ArXiv.
Ian Mackie,
Maribel Fernández,
Sandra Alves,
2007,
WRS@FLoC.
Ian Mackie,
Maribel Fernández,
Sandra Alves,
2007,
FoSSaCS.
Ian Mackie,
Maribel Fernández,
Sandra Alves,
2006,
CSL.
Maribel Fernández,
Sandra Alves,
Miguel F. Ramos,
2020,
LSFA.