Term Rewriting and Applications [electronic resource] : 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007: Proceedings /

PSZJBL

Bibliographic Details
Main Authors:	International Conference on Rewriting Techniques and Applications (18th : 2007 : Paris, France), Baader, Franz, SpringerLink (Online service)
Format:
Language:	eng
Published:	Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
Subjects:	Rewriting systems (Computer science) Computer programming
Online Access:	http://dx.doi.org/10.1007/978-3-540-73449-9

Internet