A Labelled Analytic Theorem Proving Environment for Categorial Grammar

Saturnino F. Luz-Filho | Patrick Sturt |

Paper Details:

Month: September 20-24
Year: 1995
Location: Prague and Karlovy Vary, Czech Republic
Venue: IWPT | WS |
SIG: SIGPARSE

Citations

URL