Alejandro D'iaz-Caro
发表
Alejandro D'iaz-Caro,
Gilles Dowek,
2020,
ArXiv.
Alejandro D'iaz-Caro,
Cristian F. Sottile,
Pablo E. Mart'inez L'opez,
2021,
ArXiv.
Alejandro D'iaz-Caro,
Octavio Malherbe,
2020,
ArXiv.
Alejandro D'iaz-Caro,
Pablo Buiras,
Mauro Jaskelioff,
2011
.
Alejandro D'iaz-Caro,
2007
.
Alejandro D'iaz-Caro,
Octavio Malherbe,
2018
.
Alejandro D'iaz-Caro,
Gilles Dowek,
Gilles Dowek,
2013,
1306.5089.
Alejandro D'iaz-Caro,
Marcos Villagra,
2018
.
Alejandro D'iaz-Caro,
Francisco Noriega,
Alejandro D'iaz-Caro,
2020,
ArXiv.
Alejandro D'iaz-Caro,
Federico Olmedo,
2019,
ArXiv.
Alejandro D'iaz-Caro,
Gilles Dowek,
Gilles Dowek,
2020,
Theor. Comput. Sci..
Alejandro D'iaz-Caro,
Pablo Arrighi,
Benoit Valiron,
2010
.