Rewriting, Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday /
Rewriting, Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday / [electronic resource] :
edited by Hubert Comon-Lundh, Claude Kirchner, Helene Kirchner.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.
- xvi, 272 p. : ill., port., digital.
- Lecture Notes in Computer Science, 4600 0302-9743 ; .
9783540731474 (electronic bk.)
Rewriting systems (Computer science)--Congresses.
Computational complexity--Congresses.
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Software Engineering.
005.131
9783540731474 (electronic bk.)
Rewriting systems (Computer science)--Congresses.
Computational complexity--Congresses.
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Software Engineering.
005.131