The Lattice of Definability. Origins, Recent Developments, and Further Directions

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]

Abstract

Abstract is missing.