Rewriting techniques and applications: 13th international conference, RTA 2002, Copenhagen, Denmark July 22-24, 2002 : proceedings

Rewriting techniques and applications: 13th international conference, RTA 2002, Copenhagen, Denmark July 22-24, 2002 : proceedings

These are the the refereed proceedings of the 13th International Conference on Rewriting Techniques and Applications, RTA 2002, held in Copenhagen, Denmark, in July 2002.

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Tison, Sophie
Format: Buch
Sprache:eng
Schlagworte:
Algorithms
Computer programming
Rewriting systems (Computer science)
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:These are the the refereed proceedings of the 13th International Conference on Rewriting Techniques and Applications, RTA 2002, held in Copenhagen, Denmark, in July 2002.