Publications (1)
XSSR: An experimental system for string rewriting - decision problems, algorithms, and implementation (2002)
Hofbauer, D.; Kögl, C.; Madlener, K.; Otto, F.
Contribution in edited book
XSSR: An experimental system for string rewriting - decision problems, algorithms, and implementation (2002)
Hofbauer, D.; Kögl, C.; Madlener, K.; Otto, F.
Contribution in edited book