1 citations · 1 across the 1 of their papers we have counts for
1 paper
Saturnino F. Luz-Filho, Patrick Sturt
We present a system for the investigation of computational properties of categorial grammar parsing based on a labelled analytic tableaux theorem prover. This proof method allows u…