RUS
ENG
Full version
JOURNALS
// Lecture Notes in Computer Science
// Archive
Lecture Notes in Comput. Sci., 2020, Volume 12569,
Pages
155–169
(Mi lncs44)
This article is cited in
1
paper
Complexity of Commutative Infinitary Action Logic
Stepan Kuznetsov
Steklov Mathematical Institute of RAS, Moscow, Russia
Language:
English
DOI:
10.1007/978-3-030-65840-3_10
Cited by
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2024
Cited by