Rewriting Techniques and Applications : 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004; proceedings

Rewriting Techniques and Applications 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004; proceedings

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: RTA (BerichterstatterIn)
Weitere Verfasser: Oostrom, Vincent van (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Berlin, Heidelberg u.a. Springer 2004
Schriftenreihe:Lecture notes in computer science 3091
Schlagworte:
Rewriting systems (Computer science) > Computer programming > Algorithms > Konferenzschrift > Reduktionssystem
Online Zugang:Cover
Einführung/Vorwort
Inhaltsverzeichnis
Inhaltstext
Inhaltstext
Full Text
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:X, 313 S.
graph Darst.
ISBN:3540221530
3-540-22153-0