Transforming Infinite Rewrite Systems into Finite Rewrite Systems by Embedding Techniques

Вы здесь

Автор:

Avenhaus J.

Количество экземпляров:

Колл. автор:

Univ. Kaiserslautern

Вид:

Препринт

Год:

1989

Ключевые слова:

расширение

спецификация

Стр.:

17 p.

Реферат:

Трансформация бесконечных переписываю их систем в конечные с помо ью метода вложения.

Место издания:

Kaiserslautern

Номер:

SR-89-21

Карточка:

Б2.34.

Avenhaus J..

Transforming Infinite Rewrite Systems into Finite Rewrite Systems by Embedding Techniques-Kaiserslautern., 1989.-17 p.-(Препринт Univ. Kaiserslautern №SR-89-21).

Таблица в старой библиотеке:

PREP1 160