Rewriting, Computation and Proof [electronic resource] : Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday / edited by Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner.
By: Comon-Lundh, Hubert.
Contributor(s): Kirchner, Claude | Kirchner, Hélène | SpringerLink (Online service).
Material type: BookSeries: Lecture Notes in Computer Science, 4600.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Description: digital.ISBN: 9783540731474.Subject(s): 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 EngineeringDDC classification: 005.131 Online resources: Click here to access online In: Springer eBooksNo physical items for this record
There are no comments for this item.