Stepan L. Kuznetsov, “Syntactic concept lattice models for infinitary action logic”, Lecture Notes in Comput. Sci., 2024, том 14672,страницы 93

ЖУРНАЛЫ // Lecture Notes in Computer Science // Архив

Lecture Notes in Comput. Sci., 2024, том 14672, страницы 93–107 (Mi lncs52)

Syntactic concept lattice models for infinitary action logic

Stepan L. Kuznetsov^ab

^a Steklov Mathematical Institute of RAS, 8 Gubkina Street, Moscow, Russia
^b HSE University, 11 Pokrovsky Blvd., Moscow, Russia

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

DOI: 10.1007/978-3-031-62687-6_7

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