Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings - Artemov, Sergei; Artemov, Sergei; Nerode, Anil; Nerode, Anil (Springer International Publishing : Imprint: Springer, 2018)