RUS
ENG
Полная версия
ЖУРНАЛЫ
// Lecture Notes in Computer Science
// Архив
Lecture Notes in Comput. Sci., 2020, том 12569,
страницы
155–169
(Mi lncs44)
Эта публикация цитируется в
1
статье
Complexity of Commutative Infinitary Action Logic
Stepan Kuznetsov
Steklov Mathematical Institute of RAS, Moscow, Russia
Язык публикации:
английский
DOI:
10.1007/978-3-030-65840-3_10
Список цитирования
Реферативные базы данных:
©
МИАН
, 2024
Список цитирования