О методе нахождения точных оценок длин выводов в системах Туэ

С. Адян

О методе нахождения точных оценок длин выводов в системах Туэ

Authors

С. Адян Математический институт им. В.А. Стеклова РАН

Abstract

References

D. Hofbauer, J. Waldmann. Termination of {a2 → bc, b2 → ac, c2 → ab}. Information Processing Letters, Vol. 98, Issue 4, May 2006.

С.И. Адян, “О методе нахождения точных оценок длин выводов в системах Туэ” , Матем. заметки, 92:1 (2012), 3–18.

С.И. Адян. ”Определяющие соотношения и алгоритмические проблемы для групп и полугрупп”. Труды МИАН СССР, 1966, т. bf85.

Downloads

Published

2021-12-10

How to Cite

Адян, С. (2021). О методе нахождения точных оценок длин выводов в системах Туэ. Mathematical Problems of Computer Science, 38, 7–7. Retrieved from http://mpcs.sci.am/index.php/mpcs/article/view/436