Alejandro Ríos
发表
Alejandro Ríos,
Delia Kesner,
Eduardo Bonelli,
2001,
RTA.
E. Bonelli,
D. Kesner,
Alejandro Ríos,
2001
.
G. Barthe,
Alejandro Ríos,
Fairouz Kamareddine,
2006
.
Alejandro Ríos,
Delia Kesner,
Andrés Viso,
2018,
FoSSaCS.
Alejandro Ríos,
Fairouz Kamareddine,
Alejandro Ríos,
1995,
PLILP.
Gilles Barthe,
Alejandro Ríos,
Fairouz Kamareddine,
1997,
ALP/HOA.
Alejandro Ríos,
Delia Kesner,
Eduardo Bonelli,
2012,
RTA.
Fairouz Kamareddine,
Alejandro Ríos,
Joe B. Wells,
1998,
J. Funct. Log. Program..
Alejandro Ríos,
V. Plevris,
G. Papazafeiropoulos,
2023,
ArXiv.
Alejandro Ríos,
Delia Kesner,
Eduardo Bonelli,
2014,
Theor. Comput. Sci..
Alejandro Ríos,
Carlos Lombardi,
Roel de Vrijer,
2014,
ArXiv.
Alejandro Ríos,
Delia Kesner,
Eduardo Bonelli,
2000,
RTA.
Fairouz Kamareddine,
Alejandro Ríos,
Fairouz Kamareddine,
2002,
Comput. J..
Alejandro Ríos,
Thérèse Hardin,
Pierre-Louis Curien,
1996,
J. Log. Comput..
Alejandro Ríos,
Thérèse Hardin,
Pierre-Louis Curien,
1992,
MFCS.
Fairouz Kamareddine,
Alejandro Ríos,
Fairouz Kamareddine,
1998,
Log. J. IGPL.
Fairouz Kamareddine,
Alejandro Ríos,
Fairouz Kamareddine,
1996,
PLILP.
Alejandro Ríos,
Ariel Arbiser,
Alexandre Miquel,
2006,
RTA.
Alejandro Ríos,
Beta Ziliani,
Ariel Mendelzon,
2011,
HOR.
D. Kesner,
Alejandro Ríos,
A. Bucciarelli,
2020,
FLOPS.