Stav dette: Logic, language, information and computation : 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009 : proceedings / Hiroakira Ono, Makoto Kanazawa, Ruy de Queiroz (eds.).