Saturnino F. Luz-Filho

	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		Saturnino F. Luz-Filho, Patrick Sturt: A Labelled Analytic Theorem Proving Environment for Categorial Grammar CoRR abs/cmp-lg/9508009: (1995)

Coauthor Index

1

Patrick Sturt

[1]