Paul Meurer (auth.), Peter Bosch, David Gabelaia, Jérôme Lang (eds.)

Logic, Language, and Computation: 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers