Você está em: Start > Publications > View > Rewriting, Computation and Proof: ESSAYS DEDICATED TO JEAN-PIERRE JOUANNAUD ON THE OCCASION OF HIS 60TH BIRTHDAY
Map of Premises
Publications
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-2025 © Faculdade de Direito da Universidade do Porto
I Terms and Conditions
I Acessibility
I Index A-Z
Page created on: 2025-07-13 at 11:42:31 | Privacy Policy | Personal Data Protection Policy | Whistleblowing
Page created on: 2025-07-13 at 11:42:31 | Privacy Policy | Personal Data Protection Policy | Whistleblowing