Вы здесь
It is decidable in polynomial time whether a monoid presented by a finite weight-reducing and confluent Thue system is torsion-free
Количество экземпляров:
1
Колл. автор:
Вид:
Препринт
Год:
1987
Ключевые слова:
Стр.:
16 P.
Библиография:
Bibliogr.: p.16
Место издания:
Номер:
173/87
Карточка:
Б2.34.
Narendran P., Otto F..
It is decidable in polynomial time whether a monoid presented by a finite weight-reducing and confluent Thue system is torsion-free-Kaiserslautern., 1987.-16 P.-(Препринт Univ. Kaiserslautern №173/87).
Bibliogr.: p.16
Таблица в старой библиотеке:
PREP1 376