Term Rewriting and Applications: 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings (Lecture Notes in Computer Science, 4533, Band 4533) - Softcover

 
9783540734475: Term Rewriting and Applications: 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings (Lecture Notes in Computer Science, 4533, Band 4533)
Softcover
ISBN 10: 3540734473 ISBN 13: 9783540734475
Verlag: Springer, 2007

Inhaltsangabe

The 18th International Conference on Rewriting Techniques and Applications, held in Paris, France in June 2007, featured presentations and discussions centering on some of the latest advances in the field. This volume presents the proceedings from that meeting. Papers cover current research on all aspects of rewriting, including applications, foundational issues, frameworks, implementations, and semantics.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2007
Sprache
Englisch
ISBN 10 
3540734473
ISBN 13 
9783540734475
Einband
Taschenbuch
Anzahl der Seiten
436
Herausgeber
Baader Franz
Kontakt zum Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Deutschland

Weitere beliebte Ausgaben desselben Titels

9783540840497: Term Rewriting and Applications

Vorgestellte Ausgabe

ISBN 10:  3540840494 ISBN 13:  9783540840497
Verlag: Springer, 2008
Softcover