Вы здесь
Some undecidability results for non-monadic Church-Rosser Thue systems
Количество экземпляров:
1
Колл. автор:
Вид:
Препринт
Год:
1984
Ключевые слова:
Стр.:
27 P.
Библиография:
Bibliogr.: p.26-27
Место издания:
Номер:
98/84
Карточка:
Б2.34, Б4.12.
Otto F..
Some undecidability results for non-monadic Church-Rosser Thue systems-Kaiserslautern., 1984.-27 P.-(Препринт Univ. Kaiserslautern №98/84).
Bibliogr.: p.26-27
Таблица в старой библиотеке:
PREP1 368