Algorithms for Generation in Lambek Theorem Proving

Anthology ID:: P90-1028
Volume:: 28th Annual Meeting of the Association for Computational Linguistics
Month:: June
Year:: 1990
Address:: Pittsburgh, Pennsylvania, USA
Venue:: ACL
SIG:
Publisher:: Association for Computational Linguistics
Note:
Pages:: 220–226
Language:
URL:: https://aclanthology.org/P90-1028
DOI:: 10.3115/981823.981851
Bibkey:
Cite (ACL):: Erik-Jan van der Linden and Guido Minnen. 1990. Algorithms for Generation in Lambek Theorem Proving. In 28th Annual Meeting of the Association for Computational Linguistics, pages 220–226, Pittsburgh, Pennsylvania, USA. Association for Computational Linguistics.
Cite (Informal):: Algorithms for Generation in Lambek Theorem Proving (van der Linden & Minnen, ACL 1990)
Copy Citation:
PDF:: https://preview.aclanthology.org/naacl-24-ws-corrections/P90-1028.pdf