Some undecidability Results for non-monadic church-rosser thue systems.
Αποθηκεύτηκε σε:
| Κύριος συγγραφέας: | |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | Αγγλικά |
| Έκδοση: |
Kaiserslautern
1984
|
| Σειρά: | Interner Bericht. Fachbereich Informatik. Universität Kaiserslautern
98 |
| Ετικέτες: |
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
| Order eBook: |
|
| Order Book: | Login to order |
| Περιγραφή τεκμηρίου: | 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. |
|---|---|
| Φυσική περιγραφή: | Getr.Pag. 4° |