1
Characterizations of overlaps in free partially commutative monoids.
Book
Otto, F.
1989
2
Commutativity in groups presented by finite Church Rosser Thue systems.
Book
3
Decision problems in special monoids.
Book
Otto, F.
1989
4
Derivation bounded groups.
Book
5
Eine En Frattini Einbettung in eine einfache Untergruppe einer endlich dargestellten Gruppe.
Book
6
It is decidable in polynomial time whether a monoid presented by a finite weight reducing and confluent thue system is torsion free.
Book
7
On deciding the confluence of a finite string rewriting system on a given congruence class.
Book
8
Restrictions of congruences generated by finite canonical string rewriting systems.
Book
9
The undecidability of self embedding for finite semi Thue and Thue systems.
Book
Otto, F.
1986
10
Using string rewriting for solving the word problem for finitely presented groups.
Book