Publikationen (1)
Publikationsjahr
Publikationstyp
XSSR: An experimental system for string rewriting - decision problems, algorithms, and implementation (2002)
Hofbauer, D.; Kögl, C.; Madlener, K.; Otto, F.
Beitrag in einem Sammelband
XSSR: An experimental system for string rewriting - decision problems, algorithms, and implementation (2002)
Hofbauer, D.; Kögl, C.; Madlener, K.; Otto, F.
Beitrag in einem Sammelband