Logical foundations of computer science international symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007 : proceedings / - Artemov, S. N.; Nerode, Anil, (Springer,)