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 |
Ижил төстэй зүйлс: A Completion Procedure for globally finite term rewriting systems.
- Finite complete Rewriting Systems and the complexity of the word problem.
- Finite complete Rewriting Systems and the complexity of the word problem
- Finite complete Rewriting Systems and the complexity of the word problem G. Bauer, F(riedrich) Otto
- On Congruences and normal forms definable by term rewriting systems.
- N-level rewriting Systems.
- N-Level Rewriting Systems.