| |
| 2000 | ||
|---|---|---|
| 3 | Saturnino F. Luz-Filho: Using Tableaux to Automate the Lambek and Other Categorial Calculi. Inf. Comput. 162(1-2): 206-225 (2000) | |
| 1996 | ||
| 2 | Saturnino F. Luz-Filho: Grammar Specification in Categorial Logics and Theorem Proving. CADE 1996: 703-717 | |
| 1995 | ||
| 1 | EE | Saturnino F. Luz-Filho, Patrick Sturt: A Labelled Analytic Theorem Proving Environment for Categorial Grammar CoRR abs/cmp-lg/9508009: (1995) |
| 1 | Patrick Sturt | [1] |