Rewriting techniques and applications

11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings

Verfasser / Beitragende:
Leo Bachmair, (ed.)
Ort, Verlag, Jahr:
Berlin [etc.] : Springer, 2000
Beschreibung:
X, 273 p. : ill. ; 24 cm
Format:
Buch (Kongress)
ID: 224307290