RDP
MEETINGS
VENUE
|
UNIF'03
|
17th International Workshop on Unification
Valencia, Spain, June 8-9, 2003
|
PROCEEDINGS
|
Jordi Levy
Michael Kohlhase
Joachim Niehren
Mateu Villaret (Eds.)
Proceedings of the 17th International Workshop on Unification, UNIF'03
Valencia, Spain, June 8-9, 2003
ISBN:
Depósito Legal:
Impreso en España.
Technical Report DSIC-II/12/03,
http://www.dsic.upv.es
Departamento de Sistemas Informáticos y Computación,
Universidad Politécnica de Valencia, 2003.
-
Preface and Table of Contents (PDF)
-
Full Proceedings (PDF)
|
Last update June 2003 # sescobar@dsic.upv.es
|