RUS
ENG
Полная версия
ЖУРНАЛЫ
// ACM Transactions on Computational Logic
// Архив
ACM Trans. Comput. Log., 2021, том 22, выпуск 2,
страницы
10–26
(Mi atcl1)
Эта публикация цитируется в
7
статьях
Action logic is undecidable
Stepan Kuznetsov
Steklov Mathematical Institute of Russian Academy of Sciences, Moscow, Russia
Язык публикации:
английский
DOI:
10.1145/3445810
Список цитирования
Реферативные базы данных:
ArXiv:
1912.11273
©
МИАН
, 2025
Список цитирования
