Saturnino F. Luz-Filho

Publication Activity (10 Years)

Years Active: 1995-2000
Publications (10 Years): 0

Publications

Saturnino F. Luz-Filho
Using Tableaux to Automate the Lambek and Other Categorial Calculi. Inf. Comput. 162 (1-2) (2000)
Saturnino F. Luz-Filho
Grammar Specification in Categorial Logics and Theorem Proving. CADE (1996)
Saturnino F. Luz-Filho, Patrick Sturt
A Labelled Analytic Theorem Proving Environment for Categorial Grammar CoRR (1995)
Saturnino F. Luz-Filho, Patrick Sturt
A Labelled Analytic Theorem Proving Environment for Categorial Grammar. IWPT (1995)