Logical foundations of computer science international symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016 : proceedings - Artemov, Sergei N.; Nerode, Anil 1932- (Springer, 2016)