Alexei L. Semenov, Sergey Soprunov, Vladimir A. Uspensky. The Lattice of Definability. Origins, Recent Developments, and Further Directions. In Edward A. Hirsch, Sergei O. Kuznetsov, Jean-Éric Pin, Nikolay K. Vereshchagin, editors, Computer Science - Theory and Applications - 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings. Volume 8476 of Lecture Notes in Computer Science, pages 23-38, Springer, 2014. [doi]
@inproceedings{SemenovSU14,
title = {The Lattice of Definability. Origins, Recent Developments, and Further Directions},
author = {Alexei L. Semenov and Sergey Soprunov and Vladimir A. Uspensky},
year = {2014},
doi = {10.1007/978-3-319-06686-8_3},
url = {http://dx.doi.org/10.1007/978-3-319-06686-8_3},
researchr = {https://researchr.org/publication/SemenovSU14},
cites = {0},
citedby = {0},
pages = {23-38},
booktitle = {Computer Science - Theory and Applications - 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings},
editor = {Edward A. Hirsch and Sergei O. Kuznetsov and Jean-Éric Pin and Nikolay K. Vereshchagin},
volume = {8476},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-06685-1},
}