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 |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2007 |
| Lugar | Berlin, New York |
| Idioma | inglés |
| Páginas | 272 |
| ISBN-13 | 9783540731467 |
| ISBN-10 | 3540731466 |
| OCLC | 150414832 |
| LCCN | 2007928575 |
| Serie | Lecture notes in computer science -- 4600. -- Festschrift · Lecture notes in computer science -- 4600. · Lecture notes in computer science |