Comon-Lundh, Hubert.
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 Berlin Heidelberg, 2007. - digital. - Lecture Notes in Computer Science, 4600 0302-9743 ; . - Lecture Notes in Computer Science, 4600 .
9783540731474
10.1007/978-3-540-73147-4 doi
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.
QA8.9-QA10.3
005.131
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 Berlin Heidelberg, 2007. - digital. - Lecture Notes in Computer Science, 4600 0302-9743 ; . - Lecture Notes in Computer Science, 4600 .
9783540731474
10.1007/978-3-540-73147-4 doi
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.
QA8.9-QA10.3
005.131