Mário Florido
发表
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,
Mário Florido,
2004
.
Mário Florido,
Jorge Coelho,
2008
.
Mário Florido,
Jorge Coelho,
2022
.
Mário Florido,
2005
.
V. S. Costa,
Mário Florido,
Joao Barbosa,
2022,
ArXiv.
M. Barbosa,
Mário Florido,
Ana Carolina Silva,
2022,
2210.11105.
Mário Florido,
Pedro Ângelo,
2022,
PPDP.
Mário Florido,
Benny Akesson,
Simão Melo de Sousa,
2013,
PADL.
Mário Florido,
Simão Melo de Sousa,
Vitor Rodrigues,
2011,
WFLP.
Sandra Alves,
Mário Florido,
Temur Kutsia,
2017,
Log. J. IGPL.
Ian Mackie,
Sandra Alves,
Mário Florido,
2008,
WRS@RDP.
Mário Florido,
Luís Damas,
L. Damas,
2004,
Journal of Functional Programming.
Mário Florido,
Temur Kutsia,
Besik Dundua,
2015,
2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC).
Pedro Ângelo,
Mário Florido,
Mário Florido,
2019,
TFP.
Mário Florido,
Mário Florido,
Pedro Ângelo,
2018
.
Sandra Alves,
Mário Florido,
Mário Pereira,
2014,
ITRS.
Ian Mackie,
Maribel Fernández,
Sandra Alves,
2010,
High. Order Symb. Comput..
Mário Florido,
Temur Kutsia,
Mircea Marin,
2014,
FLOPS.
Mário Florido,
Jorge Coelho,
Mário Florido,
2004,
CoopIS/DOA/ODBASE.
Mário Florido,
Jorge Coelho,
2003
.
Mário Florido,
Jorge Coelho,
Mário Florido,
2007,
WIDM '07.
Mário Florido,
Jorge Coelho,
Mário Florido,
2003,
PADL.
Mário Florido,
2002
.
Mário Florido,
Jorge Coelho,
Mário Florido,
2006
.
Pedro B. Vasconcelos,
Mário Florido,
Sara Moreira,
2020,
IFL.
Steffen Jost,
Mário Florido,
Kevin Hammond,
2017,
Journal of Automated Reasoning.
Steffen Jost,
Mário Florido,
Kevin Hammond,
2015,
ESOP.
Steffen Jost,
Mário Florido,
Kevin Hammond,
2012,
ICFP.
Mário Florido,
Jorge Coelho,
Temur Kutsia,
2010,
RR.
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.
Mário Florido,
João Pedro Pedroso,
Simão Melo de Sousa,
2011,
FOPARA.
Jorge Coelho,
Mário Florido,
Jorge Coelho,
2011
.
Mário Florido,
João Pedro Pedroso,
Benny Akesson,
2015,
Sci. Comput. Program..