Sandra Alves
发表
Ian Mackie,
Sandra Alves,
Mário Florido,
2008,
WRS@RDP.
Sandra Alves,
Mário Florido,
Temur Kutsia,
2017,
Log. J. IGPL.
Maribel Fernández,
Sandra Alves,
Sandra Alves,
2015,
LSFA.
Maribel Fernández,
Sandra Alves,
Sabine Broda,
2015,
LOPSTR.
Iliano Cervesato,
Sandra Alves,
2018,
Math. Struct. Comput. Sci..
Delia Kesner,
Sandra Alves,
Daniel Ventura,
2019,
TYPES.
Sandra Alves,
Mário Oliveira,
Pedro Silva Cunha,
2018
.
Sandra Alves,
Mário Oliveira,
Pedro Silva Cunha,
2016
.
Sandra Alves,
Mário Florido,
2002,
Electron. Notes Theor. Comput. Sci..
Maribel Fernández,
Sandra Alves,
Miguel F. Ramos,
2020,
LSFA.
Ian Mackie,
Maribel Fernández,
Sandra Alves,
2010,
Theor. Comput. Sci..
Gilles Dowek,
Daniel R. Licata,
Sandra Alves,
2016,
LFMTP.
Sandra Alves,
Graça Maria dos Santos Batista Seco,
Luís Pereira Filipe,
2013
.
Maribel Fernández,
Sandra Alves,
Anatoli Degtyarev,
2014,
LOPSTR.
Ian Mackie,
Sandra Alves,
2012
.
Ian Mackie,
Maribel Fernández,
Sandra Alves,
2007,
Rewriting, Computation and Proof.
Ian Mackie,
Maribel Fernández,
Sandra Alves,
2010,
ArXiv.
Ian Mackie,
Maribel Fernández,
Sandra Alves,
2011,
TERMGRAPH.
Sandra Alves,
Estelle Rathahao-Paris,
Alain Paris,
2020,
Advances in clinical chemistry.
Iliano Cervesato,
Sandra Alves,
2010
.
Sandra Alves,
Sabine Broda,
João Sá,
2016,
ArXiv.
Michele Pagani,
Sandra Alves,
2019,
DCM/ITRS.
Sandra Alves,
Mário Florido,
Mário Pereira,
2014,
ITRS.
Report on FSCD 2016: 1st International Conference on Formal Structures for Computation and Deduction
Sandra Alves,
2016,
SIGL.
Sandra Alves,
Renata Wasserman,
2017,
LSFA.
Sandra Alves,
Sabine Broda,
2018,
FSCD.
Ian Mackie,
Maribel Fernández,
Sandra Alves,
2010,
High. Order Symb. Comput..
Ian Mackie,
Sandra Alves,
Mário Florido,
2006
.
Sandra Alves,
Mário Florido,
2005,
Theor. Comput. Sci..
Sandra Alves,
Mário Florido,
2003,
LOPSTR.
Sandra Alves,
2019
.
Sandra Alves,
Sabine Broda,
Sandra Alves,
2015,
Inf. Process. Lett..
Ian Mackie,
Maribel Fernández,
Sandra Alves,
2007,
WRS@FLoC.
Sandra Alves,
Sabine Broda,
Sandra Alves,
2017,
NCMA.
Michele Pagani,
Sandra Alves,
2019
.
Ian Mackie,
Maribel Fernández,
Sandra Alves,
2007,
FoSSaCS.
Maribel Fernández,
Sandra Alves,
Sandra Alves,
2017,
Theor. Comput. Sci..
Ian Mackie,
Maribel Fernández,
Sandra Alves,
2006,
CSL.
Renata Wassermann,
Sandra Alves,
2021,
Mathematical Structures in Computer Science.
Sandra Alves,
Miguel Ramos,
2021,
MFPS.
Sandra Alves,
Jorge Igl'esias,
Sandra Alves,
2021,
ArXiv.
Sandra Alves,
Miguel Ramos,
Maribel Fern'andez,
2021,
ArXiv.