Coverart for item
The Resource Rewriting, computation and proof : essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday, Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner (eds.), (electronic resource)

Rewriting, computation and proof : essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday, Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner (eds.), (electronic resource)

Label
Rewriting, computation and proof : essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday
Title
Rewriting, computation and proof
Title remainder
essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday
Statement of responsibility
Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner (eds.)
Contributor
Subject
Genre
Language
eng
Member of
Dewey number
511.3
Illustrations
  • illustrations
  • portraits
Index
index present
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Comon, Hubert
  • Kirchner, Claude
  • Kirchner, H.
Series statement
  • LNCS sublibrary. SL 1, Theoretical computer science and general issues
  • Lecture notes in computer science,
  • Festschrift
Series volume
4600.
http://library.link/vocab/subjectName
  • Jouannaud, Jean-Pierre
  • Rewriting systems (Computer science)
  • Computational complexity
Label
Rewriting, computation and proof : essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday, Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner (eds.), (electronic resource)
Instantiates
Publication
Note
Papers presented at a symposium held in Cachan near Paris, on June 21-22, 2007
Bibliography note
Includes bibliographical references and index
Color
multicolored
Control code
ocn184905615
Dimensions
unknown
Extent
1 online resource (xvi, 272 p.)
Form of item
online
Isbn
9783540731474
Other physical details
ill., port
Specific material designation
remote
System control number
(OCoLC)184905615
Label
Rewriting, computation and proof : essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday, Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner (eds.), (electronic resource)
Publication
Note
Papers presented at a symposium held in Cachan near Paris, on June 21-22, 2007
Bibliography note
Includes bibliographical references and index
Color
multicolored
Control code
ocn184905615
Dimensions
unknown
Extent
1 online resource (xvi, 272 p.)
Form of item
online
Isbn
9783540731474
Other physical details
ill., port
Specific material designation
remote
System control number
(OCoLC)184905615

Library Locations

    • InternetBorrow it
      Albany, Auckland, 0632, NZ
Processing Feedback ...