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

Favorites
Saved in:
2
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:
3
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:
4
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:
5
Commutativity in groups presented by finite Church Rosser Thue systems.
Book
“...Interner Bericht / Universität Kaiserslautern Fachbereich Informatik ;...”
Loan/Reservation

Favorites
Saved in:
6
On congruences and normal forms definable by term rewriting systems /
Book
“...Interner Bericht / Universität Kaiserslautern Fachbereich Informatik ;...”
Loan/Reservation

Favorites
Saved in:

Narrow Search Results