Logic, language, and computation festschrift in honor of Satoru Takasu / - Takasu, Satoru,; Jones, Neil D.; Hagiya, Masami,; Satō, Masahiko, (Lecture notes in computer science ;)