You are in:: Start > Publications > View > Rewriting, Computation and Proof: ESSAYS DEDICATED TO JEAN-PIERRE JOUANNAUD ON THE OCCASION OF HIS 60TH BIRTHDAY
Map of Premises
Rewriting, Computation and Proof: ESSAYS DEDICATED TO JEAN-PIERRE JOUANNAUD ON THE OCCASION OF HIS 60TH BIRTHDAY
Title
Rewriting, Computation and Proof: ESSAYS DEDICATED TO JEAN-PIERRE JOUANNAUD ON THE OCCASION OF HIS 60TH BIRTHDAY
Type
International Conference Proceedings Book
Year
2007
Conference International
Festschrift held in Honor of Jean-Pierre Jouannauds 60th Birthday on Rewriting, Computation and Proof
Cachan, FRANCE, JUN 21-22, 2007
Other information
Language:
English
Type (Professor's evaluation):
Scientific
ISBN:
978-3-540-73146-7
Collection:
LECTURE NOTES IN COMPUTER SCIENCE
Documents
We could not find any documents associated to the publication.
Publications included
Article in International Conference Proceedings Book
Sandra Alves (Author) (FCUP); Maribel Fernandez (Author) (Other); Mario Florido (Author) (FCUP); Ian Mackie (Author) (Other)
2007
Copyright 1996-2026 © Faculdade de Ciências da Universidade do Porto
I Terms and Conditions
I Acessibility
I Index A-Z
Page created on: 2026-02-24 at 09:53:47 | Privacy Policy | Personal Data Protection Policy | Whistleblowing | Electronic Yellow Book
Page created on: 2026-02-24 at 09:53:47 | Privacy Policy | Personal Data Protection Policy | Whistleblowing | Electronic Yellow Book