*Result*: Rewriting techniques and applications
*Title*:
Rewriting techniques and applications : 14th international conference ; proceedings / RTA 2003, Valencia, Spain, June 9 - 11, 2003. Robert Nieuwenhuis (ed.)
*Author/editor-in-chief*:
*Corporate*:
*Publication*:
Berlin : Springer, 2003
*Physical description scale*:
XI, 514 Seiten : Diagramme ; 24 cm
*Format*:
*Language*:
*eng*
*series_multipart*:
Lecture notes in computer science ; Vol. 2706
*show_all_volumes*
*show_all_volumes*
*Notes*:
Literaturangaben
*RVK-Notation*:
*Subject Added Keywords*:
*ISBN*:
3540402543