Rewriting, Computation and Proof [Risorsa elettronica] : Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday / edited by Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner
Pubbl/distr/stampa
Berlin ; Heidelberg : Springer, 2007
ISBN
9783540731474
Collana
Lecture Notes in Computer Science , 0302-9743 ; 4600