Trees in Linguistics, Logic, and Computer Science Dov M. GabbayValentin Goranko Editorial Introduction Pages: 179 - 180
From Proof Trees in Lambek Calculus to Ajdukiewicz Bar-Hillel Elimination Binary Trees Yannick Le Nir OriginalPaper Pages: 181 - 201
Branching within Time: An Expressively Complete and Elementarily Decidable Temporal Logic for Time Granularity Massimo FranceschetAngelo Montanari OriginalPaper Pages: 229 - 263
Configuration of Labeled Trees under Lexicalized Constraints and Principles Denys Duchier OriginalPaper Pages: 307 - 336