文档介绍：Lecture Notes puter Science 1631
Edited by G. Goos, J. Hartmanis and J. van Leeuwen
3
Berlin
Heidelberg
New York
Barcelona
Hong Kong
London
Milan
Paris
Singapore
Tokyo
Paliath Narendran Michael Rusinowitch (Eds.)
Rewriting Techniques
and Applications
10th International Conference, RTA-99
Trento, Italy, July 2-4, 1999
Proceedings
13
Series Editors
Gerhard Goos, Karlsruhe University, Germany
Juris Hartmanis, Cornell University, NY, USA
Jan van Leeuwen, Utrecht University, herlands
Volume Editors
Paliath Narendran
Department puter Science, University at Albany – SUNY
Albany, NY 12222, USA
E-mail: ******@
Michael Rusinowitch
LORIA – INRIA Lorraine
615, rue du Jardin Botanique, F-54602 Villers les Nancy, Cedex, France
E-mail: ******@
Cataloging-in-Publication data applied for
Die Deutsche Bibliothek - CIP-Einheitsaufnahme
Rewriting techniques and applications : 10th international conference ;
proceedings / RTA-99, Trento, Italy, July 2 - 4, 1999. Paliath Narendran ;
Michael Rusinowitch (ed.). - Berlin ; Heidelberg ; New York ; Barcelona ; Hong
Kong ; London ; Milan ; Paris ; Singapore ; Tokyo : Springer, 1999
(Lecture notes puter science ; Vol. 1631)
ISBN 3-540-66201-4
CR Subject Classification (1998): , , , -3,
ISSN 0302-9743
ISBN 3-540-66201-4 Springer-Verlag Berlin Heidelberg New York
This work is subject to copyright. All rights are reserved, whether the whole or part of the material is
concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting,
reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication
or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965,
in its current version, and permission for use must always be obtained from Springer-Verlag. Violations are
liable for prosecution under the German Copyright Law.
c Springer-Ver