Rewriting techniques and applications : 9th international conference, RTA-98, Tsukuba, Japan, March 30-April 1, 1998 : proceedings


International Conference on Rewriting Techniques and Applications
Bok Engelsk 1998

Detaljer

Bibliotek som har denne