Papers presented at the 10th International Conference on Rewriting Techniques and Applications held July 2 - 4, 1999, in Trento, Italy, as part of the Federated Logic Conference (FLoC '99)

Gespeichert in:
Bibliographische Detailangaben
Körperschaften: RTA (VerfasserIn), Federated Logic Conference (BerichterstatterIn)
Weitere Verfasser: Narendran, Paliath (BerichterstatterIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: San Diego, Calif. u.a. Academic Press 2002
Schriftenreihe:Information and computation 178.2002,2
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Sachtitel nur im Vorw
Beschreibung:S. 345-544