Sciweavers

2 search results - page 1 / 1
» Efficiently Parsing with the Product-Free Lambek Calculus
Sort
View
ACL
1990
13 years 11 months ago
Algorithms for Generation in Lambek Theorem Proving
We discuss algorithms for generation within the Lambek Theorem Proving Framework. Efficient algorithms for generation in this framework take a semantics-driven strategy. This stra...
Erik-Jan van der Linden, Guido Minnen