Rewriting techniques and applications : 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings
Author(s)
Bibliographic Information
Rewriting techniques and applications : 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings
(Lecture notes in computer science, 2051)
Springer, c2001
Available at / 32 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
L/N||LNCS||205101007854
-
University of Tsukuba Library, Library on Library and Information Science
007.08:L-49:2051011000970
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references and index