Treffer: Rewriting techniques and applications
Titel:
Rewriting techniques and applications : 9th international conference ; proceedings / RTA-98, Tsukuba, Japan, March 30 - April 1, 1998. Tobias Nipkow (ed.)
Beteiligt:
Körperschaft:
Veröffentlicht:
Berlin : Springer, 1998
Umfang:
X, 342 Seiten : Diagramme ; 24 cm
Format:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Lecture notes in computer science ; Vol. 1379
alle Bände anzeigen
alle Bände anzeigen
Anmerkungen:
Literaturangaben
RVK-Notation:
Schlagworte:
ISBN:
354064301X