A Completion Procedure for globally finite term rewriting systems.
Gorde:
| Egile nagusia: | |
|---|---|
| Formatua: | Liburua |
| Hizkuntza: | ingelesa |
| Argitaratua: |
Kaiserslautern
1983
|
| Saila: | Interner Bericht. Fachbereich Informatik. Universität Kaiserslautern
93 |
| Etiketak: |
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!
|
| Order eBook: |
|
| Order Book: | Login to order |
| Alearen deskribapena: | 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. |
|---|---|
| Deskribapen fisikoa: | 40 S. mit Abb. 4° |