Logic, Language, and Computation : 6th International Tbilisi Symposium on Logic, Language, and Computation. Batumi, Georgia, September 12-16, 2005, Revised Selected Papers - Balder D. Cate, Henk W. Zeevat ((Lecture Notes in Computer Science))