1
Restrictions of congruences generated by finite canonical string rewriting systems.
Book
Otto, F.
1989
“...Interner Bericht / Universität Kaiserslautern Fachbereich Informatik ;...”
Loan/Reservation

Favorites
Saved in:
2
Characterizations of overlaps in free partially commutative monoids.
Book
Otto, F.
1989
“...Interner Bericht / Universität Kaiserslautern Fachbereich Informatik ;...”
Loan/Reservation

Favorites
Saved in:
3
Decision problems in special monoids.
Book
Otto, F.
1989
“...Interner Bericht / Universität Kaiserslautern Fachbereich Informatik ;...”
Loan/Reservation

Favorites
Saved in:
4
It is decidable in polynomial time whether a monoid presented by a finite weight reducing and confluent thue system is torsion free.
Book
“...Interner Bericht / Universität Kaiserslautern Fachbereich Informatik ;...”
Loan/Reservation

Favorites
Saved in:
5
The undecidability of self embedding for finite semi Thue and Thue systems.
Book
Otto, F.
1986
“...Interner Bericht / Universität Kaiserslautern Fachbereich Informatik ;...”
Loan/Reservation

Favorites
Saved in:
6
On deciding the confluence of a finite string rewriting system on a given congruence class.
Book
Otto, F.
1986
“...Interner Bericht / Universität Kaiserslautern Fachbereich Informatik ;...”
Loan/Reservation

Favorites
Saved in:
7
Using string rewriting for solving the word problem for finitely presented groups.
Book
“...Interner Bericht / Universität Kaiserslautern Fachbereich Informatik ;...”
Loan/Reservation

Favorites
Saved in:
8
Commutativity in groups presented by finite Church Rosser Thue systems.
Book
“...Interner Bericht / Universität Kaiserslautern Fachbereich Informatik ;...”
Loan/Reservation

Favorites
Saved in:
9
Derivation bounded groups.
Book
“...Interner Bericht / Universität Kaiserslautern Fachbereich Informatik ;...”
Loan/Reservation

Favorites
Saved in:
10
Eine En Frattini Einbettung in eine einfache Untergruppe einer endlich dargestellten Gruppe.
Book
“...Interner Bericht / Universität Kaiserslautern Fachbereich Informatik ;...”
Loan/Reservation

Favorites
Saved in:

Narrow Search Results