Saturnino F. Luz-Filho

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

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)

	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]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page