Term rewriting and applications. 17th international conference, RTA 2006, Seattle, WA, USA, August 12--14, 2006. Proceedings.

From MaRDI portal
Publication:2369749