Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings - Artemov, Sergei N.; Nerode, Anil (Springer Berlin Heidelberg, 2007)