ACM Transactions on Computation Theory

Описание

Публикуются исследования в области теории вычислений и дискретной математики, охватывающие такие темы, как алгоритмическая сложность, автоматные модели и формальные языки. Авторы применяют методы математического анализа, теории графов и стохастического моделирования для решения задач, связанных с оптимизацией вычислительных процессов и исследованием свойств вычислительных систем. Журнал способствует обмену знаниями и идеями среди специалистов, занимающихся разработкой теоретических основ вычислительных наук, а также исследователей, находящихся на пересечении информатики и математики. Будет полезен ученым, работающим в области алгоритмов, теории информации и формальных методов.