Unique visibility State-of-the-art research Fast-track conference proceedings
Christian Ebert
algorithms bare grammars categorial grammars complexity grammars lambec calculus logic natural language parsing polynomial time proof theory second-order logic selection syllogistic logic tree grammars