Rewriting, Computation and Proof
Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday
Edición de la obra Rewriting, Computation and Proof
| Autor | Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2007 |
| Idioma | inglés |
| ISBN-13 | 9783540731474 |
| Número de Cutter | C735r |