Contribution in edited book
XSSR: An experimental system for string rewriting - decision problems, algorithms, and implementation
Publication Details
Authors: | Hofbauer, D.; Kögl, C.; Madlener, K.; Otto, F. |
Editor: | Cohen, A.M., Gao, X.S. and Takayama, N. |
Publisher: | World Scientific |
Place: | Beijing, China |
Publication year: | 2002 |
Pages range : | 126-135 |
Book title: | Proceedings of the 1st International Congress of Mathematical Software, ICMS-02 |
