|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Proc. 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019сборник
- Год издания: 2019
- Место издания: IEEE
- Сборник тезисов
- Добавил в систему: Кузнецов Степан Львович
Статьи, опубликованные в сборнике
-
- 2019 The logic of action lattices is undecidable
- Kuznetsov Stepan
- в сборнике Proc. 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, место издания IEEE, тезисы DOI