| Shelfclass_id | 4.B.3 |
| Sortkey | COMON.-LUNDH, HUBERT |
| Authors | Hubert Comon-Lundh, HUBERT COMON.-LUNDH, Claude Kirchner, H Kirchner |
| Title | Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th birthday |
| Publisher | Springer-Verlag |
| Year | c2007 |
| Languages | eng |
| Isbn | 3540731466, 9783540731467 |
| Series | Lecture Notes in Computer Science |
| Volume | 4600 |
| Issn | 0302-9743 |
| Description | (pbk.) (pbk.) xvi, 272 p. ill., port. 24 cm. |
| Record date | 20071106 |
| Location | New York |
| Keywords | Rewriting systems (Computer science), Computational complexity |
| Notes | Papers presented at a symposium held in Cachan near Paris, on June 21-22, 2007. |