Claudia M. G. M. Oliveira
- 1996
[c3]
Claudia M. G. M. Oliveira:
The Implementation of LENA. FAPR 1996: 710-712
[c2]
Claudia M. G. M. Oliveira:
The Implementation of CondLP. FAPR 1996: 713-715
- 1995
[c1]
Claudia M. G. M. Oliveira:
Labelled Theorem Proving for Substructural Logics. SBIA 1995: 79-90