A Completion Procedure for globally finite term rewriting systems.
Збережено в:
| Автор: | |
|---|---|
| Формат: | Книга |
| Мова: | Англійська |
| Опубліковано: |
Kaiserslautern
1983
|
| Серія: | Interner Bericht. Fachbereich Informatik. Universität Kaiserslautern
93 |
| Теги: |
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Order eBook: |
|
| Order Book: | Login to order |
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | 526728 | ||
| 007 | tu | ||
| 041 | |a eng | ||
| 100 | 1 | |a Goebel, Richard | |
| 245 | 1 | 0 | |a A Completion Procedure for globally finite term rewriting systems. |
| 246 | 3 | |a GOEBEL, Richard.- | |
| 264 | 1 | |a Kaiserslautern |c 1983 | |
| 300 | |a 40 S. mit Abb. |c 4° | ||
| 490 | 0 | |a Interner Bericht. Fachbereich Informatik. Universität Kaiserslautern |v 93 | |
| 500 | |a GOEBEL, Richard.- -- A Completion Procedure for globally finite -- term rewriting systems. - (Kaiserslautern) -- 1983.40 S.mit Abb.4° -- (Interner Bericht.Fachbereich Informatik. -- Universität Kaiserslautern.93.) -- 1984:B 668. -- Ka. | ||
| 852 | |c T 20.678/93 | ||
| 999 | |a Monographie | ||
| 591 | |a description: A Completion Procedure for globally finiteterm rewriting Systems. Kaiserslautern 1983.40 S.mit Abb.4 Interner Bericht.Fachbereich Informatik.Universität Kaiserslautern.93. 1984:B 668. Ka. |a signature: T 20.6?893 |a author: GOEBEL, Richard. |a published: 1984 | ||