|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
5th International Conference on Topology, Algebra and Categories in Logic (TACL 2011)сборник
- Год издания: 2011
- Серия: TACL
- Сборник тезисов
- Добавил в систему: Золин Евгений Евгеньевич
Статьи, опубликованные в сборнике
-
- 2011 Finite model property of pretransitive analogs of S5
- Kudinov Andrey, Shapirovsky Ilya
- в сборнике 5th International Conference on Topology, Algebra and Categories in Logic (TACL 2011), серия TACL, тезисы, с. 261-264