On deciding the confluence of a finite string-rewriting system on a given congruence class
| Year of publication: |
1986
|
|---|---|
| Authors: | Otto, Friedrich |
| Publisher: |
Kaiserslautern |
| Extent: | Getr. Zählung : graph. Darst. |
|---|---|
| Series: | Interner Bericht / Universität Kaiserslautern, Fachbereich Informatik. - Kaiserslautern. - Vol. 159 |
| Type of publication: | Book / Working Paper |
| Notes: | Literaturverz. Bl. R-1 - R-3 |
| Source: |
Persistent link: https://www.econbiz.de/10004619901