dblp.uni-trier.dewww.uni-trier.de

Saturnino F. Luz-Filho

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - 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
1EESaturnino F. Luz-Filho, Patrick Sturt: A Labelled Analytic Theorem Proving Environment for Categorial Grammar CoRR abs/cmp-lg/9508009: (1995)

Coauthor Index

1Patrick Sturt [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)