Rewriting techniques and applications. 20th international conference, RTA 2009, Brasília, Brazil, June 29--July 1, 2009. Proceedings

From MaRDI portal
Publication:1022616