Алгоритмические проблемы конечных автоматов и нормальное исчисление Поста

dc.contributor.author	Белякин, Н. В.
dc.contributor.author	Ганов, В. А.
dc.date.accessioned	2016-04-12T07:20:54Z
dc.date.available	2016-05-12T07:20:54Z
dc.date.issued	2012
dc.identifier.citation	Белякин, Н. В. Алгоритмические проблемы конечных автоматов и нормальное исчисление Поста / Н. В. Белякин, В. А. Ганов // Материалы Пятнадцатой региональной конференции по математике "МАК-2012", Барнаул, июнь 2012 : [тексты докладов] / АлтГУ [и др.] ; [гл. ред. Н. М. Оскорбин]. - Барнаул : Изд-во АлтГУ, 2012. - С. 11–14. - Библиогр. в конце ст.	ru_RU
dc.identifier.uri	http://elibrary.asu.ru/handle/asu/2254
dc.publisher	Барнаул: Издательство Алтайского государственного университета	ru_RU
dc.title	Алгоритмические проблемы конечных автоматов и нормальное исчисление Поста	ru_RU
dc.type	Article	ru_RU