Sciweavers

2 search results - page 1 / 1
» Efficiently Parsing with the Product-Free Lambek Calculus
Sort
View
ACL
1990
13 years 6 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