В настоящем сборнике представлены работа по оценкам сложности распознавания некоторых предикатов на словах, по оценкам в алгебраической сложности вычислений, применению теории доказательств в теории категорий и работы по теории поиска логического вывода. (Подробнее)