Michael W. Bertol

• Effiziente Normalform-Algorithmen für Erstzungssysteme über frei partiell kommutativen Monoiden