A Test For Lambda-Confluence For Certain Prefix Rewriting Systems With Applications To The Generalized Word Problem

Вы здесь

Автор:

Kuhn N.

Madlener K.

Otto F.

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

Колл. автор:

Univ. Kaiserslautern

Вид:

Препринт

Год:

1990

Стр.:

14 p.

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

Kaiserslautern

Номер:

197/90

Карточка:

Б2.34.

Kuhn N., Madlener K., Otto F..

A Test For Lambda-Confluence For Certain Prefix Rewriting Systems With Applications To The Generalized Word Problem-Kaiserslautern., 1990.-14 p.-(Препринт Univ. Kaiserslautern №197/90).

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

PREP1 102