CSR 2014: The 9th International Computer Science Symposium in Russia. Доклад «The Lattice of Definability. Origins, Recent Developments, and Further Directions» (Пленарный), авторы: Semenov A., Uspensky V., Soprunov S.
Москва, Россия
6–12 августа 2014 года