RUS  ENG
Полная версия
ЖУРНАЛЫ // Logic Journal of the IGPL // Архив

Log. J. IGPL, 2015, том 23, выпуск 6, страницы 966–975 (Mi ljour2)

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

A combinatorial version of the Svenonius theorem on definability

A. L. Semenov, S. F. Soprunov

Federal Research Center "Computer Science and Control" of the Russian Academy of Sciences, Moscow, Russia

Поступила в редакцию: 09.05.2014

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

DOI: 10.1093/jigpal/jzv038



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


© МИАН, 2024