Адян, С. И. Оценка сложности вывода в одной системе подстановок [Текст] / С. И. Адян // Доклады Академии наук. - 2009. - Т. 428, N 3, сентябрь. - С. 295-299. . - Библиогр.: с. 299
Рубрики: Математика Математическая логика Кл.слова (ненормированные): оценка сложности вывода -- сложность вывода -- система подстановок -- подстановки в системе сигма -- система сигма Аннотация: Для системы подстановок сигма получена квадратичная верхняя оценка максимальной длины цепочек вывода из данного слова. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |