Rewriting techniques and applications
Subtitle: 9th international conference, RTA-98, Tsukuba, Japan, March 28-April 1, 1998 : proceedings
By: Tobias Nipkow (ed.).
Contributors: Nipkow, Tobias, 1958-; International Conference on Rewriting Techniques and Applications (9th : 1998 : Tsukuba-shi, Japan)
Series: Lecture notes in computer science,; 1379
Publisher: Springer
Published: 1998
Place of publication: Berlin; New York
Language: eng
Number of pages: 342
Subjects: Rewriting systems (Computer science) -- Congresses; Computer programming -- Congresses; Algorithms -- Congresses
Genres: Congresses.
Notes: Includes bibliographical references and index.
"Papers presented at the 9th International Conference on Rewriting Techniques and Applications (RTA-98) ... "--Pref.