Rewriting techniques and applications
14th international conference, RTA 2003, Valencia, Spain, June 9-11, 2003 : proceedings
Gespeichert in:
Verfasser / Beitragende:
Robert Nieuwenhuis (ed.)
Ort, Verlag, Jahr:
Berlin [etc.] :
Springer,
2003
Beschreibung:
XI, 514 p. : ill. ; 24 cm
Format:
Buch (Kongress)