Computability

Описание

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