Skip to content

Algorithms for Generation in Lambek Theorem Proving.

Erik-Jan van der Linden, Guido Minnen

VenueA*ACL
Year1990
ProceedingsACL

Browse the full ACL paper archive.