Carlo Traverso

发表

Carlo Traverso, Pasqualina Conti, 2005, Algorithmic Algebra and Logic.
Carlo Traverso, Teo Mora, H. Michael Möller, 1992, ISSAC '92.
Fabrizio Caruso, Carlo Traverso, Massimo Caboara, 2011, J. Symb. Comput..
Massimiliano Sala, Ludovic Perret, Carlo Traverso, 2009 .
Patrizia M. Gianni, Carlo Traverso, Elisabetta Fortuna, 2003, J. Symb. Comput..
Carlo Traverso, Pasqualina Conti, Massimo Caboara, 1997, AAECC.
Carlo Traverso, L. Donati, C. Traverso, 1989, ISSAC '89.
Patrizia M. Gianni, Carlo Traverso, Elisabetta Fortuna, 2002, ISSAC '02.
Maria Grazia Marinari, Carlo Traverso, Eberhard Becker, 1994, ISSAC '94.
Giuseppe Attardi, Carlo Traverso, 1996, J. Symb. Comput..
Laureano González-Vega, Alberto Zanoni, Carlo Traverso, 2000, SIGS.
Fabrizio Caruso, Carlo Traverso, Massimo Caboara, 2008, ISSAC '08.
Carlo Traverso, C. Traverso, 1988, ISSAC.
Carlo Traverso, Teo Mora, Lorenzo Robbiano, 1991, ISSAC '91.
André Galligo, Loïc Pottier, Carlo Traverso, 1988, ISSAC.
Patrizia M. Gianni, Carlo Traverso, Paola Cellini, 1991, AAECC.
Carlo Traverso, Massimo Caboara, C. Traverso, 1998, ISSAC '98.
Alberto Zanoni, Carlo Traverso, C. Traverso, 2002, ISSAC '02.
Laureano González-Vega, Alberto Zanoni, Carlo Traverso, 2005, CASC.
Carlo Traverso, Pasqualina Conti, 1991, Discret. Appl. Math..
Carlo Traverso, Pasqualina Conti, C. Traverso, 2000, Automated Deduction in Geometry.
Carlo Traverso, Teo Mora, 1991 .
Carlo Traverso, A. Zanoni, C. Bonini, 1998 .
Carlo Traverso, Pasqualina Conti, Carlo Traverso, 1991, AAECC.