Some undecidability Results for non-monadic church-rosser thue systems.
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Kaiserslautern
1984
|
| Series: | Interner Bericht. Fachbereich Informatik. Universität Kaiserslautern
98 |
| Link to Bibsearch: | matching Alma AC00562072 (author 100.0%, title 100.0%, shelfmark 90.0%, overall 98.0%) |
| Tags: |
No Tags, Be the first to tag this record!
|
| Order eBook: |
|
| Order Book: | Login to order |
MARC
| LDR | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | 1612631 | ||
| 007 | tu | ||
| 041 | |a eng | ||
| 100 | 1 | |a OTTO, Friedrich | |
| 245 | 1 | 0 | |a Some undecidability Results for non-monadic church-rosser thue systems. |
| 246 | 3 | |a OTTO, Friedrich: | |
| 264 | 1 | |a Kaiserslautern |c 1984 | |
| 300 | |a Getr.Pag. |c 4° | ||
| 490 | 0 | |a Interner Bericht. Fachbereich Informatik. Universität Kaiserslautern |v 98 | |
| 500 | |a OTTO, Friedrich: -- Some undecidability Results for non- -- monadic church-rosser thue systems. - -- (Kaiserslautern)[19]84.Getr.Pag.4°[Kopft.] -- (Interner Bericht.Fachbereich Informatik. -- Universität Kaiserslautern.98.) -- 1984:B 671. -- Ka. | ||
| 852 | |c T 20.678/98 | ||
| 591 | |a description: Some undecidability Results for nonmonadic churchrosser thue Systems. Kaiserslautern 984.Getr.Pag.4Kopft. interner Bericht.Fachbereich Informatik.Universität Kaiserslautern.98. 1984:3 671. Ka. |a signature: T 20.67898 |a author: OTTO, Friedrich |a published: 1984 | ||
| 856 | 2 | 2 | |u https://bibsearch.uibk.ac.at/AC00562072 |y matching Alma AC00562072 (author 100.0%, title 100.0%, shelfmark 90.0%, overall 98.0%) |
| 999 | |z 98 |