ACM Transactions on Computational Logic

Описание

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