Kirchner, H.,Ringeissen, Christophe..Algebraic methodology and software technology : 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : proceedings /.Springer,,c2002..
Algebraic methodology and software technology : 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : proceedings /
Comon, Hubert.,Kirchner, Claude.,Kirchner, H.,Jouannaud, Jean-Pierre..Rewriting, computation and proof : essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday /.Springer,,c2007..
