|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
The lattice of relational algebras definable in integers with successorдоклад на конференции
- Авторы: Semenov Alexei, Soprunov Sergey
- Международная Конференция (Семинар (workshop)) : Logical Models of Reasoning and Computation (LRMC 2012)
- Даты проведения конференции: 1-3 февраля 2012
- Дата доклада: 3 февраля 2012
- Тип доклада: Устный
- Докладчик: Semenov Alexei
- Место проведения: Математический институт им. В.А.Стеклова РАН, Russia
- Добавил в систему: Золин Евгений Евгеньевич