Публикации 2019-2022 гг.
- Zapryagaev A. On Interpretations in Büchi Arithmetics //arXiv preprint: arXiv:2211.16392. – 2022. https://arxiv.org/pdf/2211.16392.pdf
- Agadzhanian I., Rybakov M. Complexity of the variable-free fragment of the weak Grzegorczyk logic //arXiv preprint arXiv:2211.14571. - 2022 https://arxiv.org/pdf/2211.14571.pdf
- Kanovich M., Kuznetsov S. G., Kuznetsov S., Scedrov A. Decidable Fragments of Calculi Used in CatLog // Studies in Computational Intelligence. 2021. Vol. 999. P. 1-24.
- Рыбаков М. Н., Александров К. И., Шкатов Д. П. Сложность фрагментов произведений с логикой T в языке с одной переменной / ArXiv. Series arXiv:2112.03833. "arXiv:2112.03833". - 2022 https://arxiv.org/pdf/2112.03833.pdf
Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!
Сервис предназначен только для отправки сообщений об орфографических и пунктуационных ошибках.