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



Authors/Editors

Last updated on 2019-25-07 at 13:34