Эта публикация цитируется в 3 статьях

Infinitary Action Logic with Multiplexing

Stepan L. Kuznetsov, Stanislav O. Speranski

Steklov Mathematical Institute of Russian Academy of Sciences, 8 Gubkina St., Moscow, Russia, 119991

Поступила в редакцию: 24.02.2022
Исправленный вариант: 11.07.2022
Принята в печать: 28.09.2022

Язык публикации: английский

DOI: 10.1007/s11225-022-10021-6

Реферативные базы данных:

•