Beitrag in einem Sammelband
XSSR: An experimental system for string rewriting - decision problems, algorithms, and implementation
Details zur Publikation
Autor(inn)en: | Hofbauer, D.; Kögl, C.; Madlener, K.; Otto, F. |
Herausgeber: | Cohen, A.M., Gao, X.S. and Takayama, N. |
Verlag: | World Scientific |
Verlagsort / Veröffentlichungsort: | Beijing, China |
Publikationsjahr: | 2002 |
Seitenbereich: | 126-135 |
Buchtitel: | Proceedings of the 1st International Congress of Mathematical Software, ICMS-02 |
