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, Hélène Kirchner.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.
- v.: digital
- Lecture Notes in Computer Science, 4600 0302-9743 ; .
9783540731474
Computer science Software engineering Logic design Computer Science Mathematical Logic and Formal Languages Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Programming Techniques Software Engineering