1
Characterizations of overlaps in free partially commutative monoids.
Book
Otto, F.
1989
...Interner Bericht / Universität Kaiserslautern Fachbereich Informatik ;...
2
Restrictions of congruences generated by finite canonical string rewriting systems.
Book
Otto, F.
1989
...Interner Bericht / Universität Kaiserslautern Fachbereich Informatik ;...
3
Decision problems in special monoids.
Book
Otto, F.
1989
...Interner Bericht / Universität Kaiserslautern Fachbereich Informatik ;...
4
The smov strategy.
Book
...Interner Bericht / Universität Kaiserslautern Fachbereich Informatik ;...