|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
42nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2017, August 21-25, 2017 - Aalborg, Denmarkсборник
- Год издания: 2017
- Серия: Leibniz International Proceedings in Informatics (LIPIcs)
- Том: 83
- Место издания: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik Dagstuhl, Germany
- Добавил в систему: Жук Дмитрий Николаевич
Статьи, опубликованные в сборнике
-
- 2017 The Complexity of Quantified Constraints Using the Algebraic Formulation
- Catarina Carvalho, Barnaby Martin, Dmitriy Zhuk
- в сборнике 42nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2017, August 21-25, 2017 - Aalborg, Denmark, серия Leibniz International Proceedings in Informatics (LIPIcs), место издания Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik Dagstuhl, Germany, том 83, с. 27:1-27:14 DOI