Login / Signup
Claudia M. G. M. Oliveira
Publication Activity (10 Years)
Years Active: 1995-1996
Publications (10 Years): 0
</>
Publications
</>
Claudia M. G. M. Oliveira
The Implementation of LENA.
FAPR
(1996)
Claudia M. G. M. Oliveira
The Implementation of CondLP.
FAPR
(1996)
Claudia M. G. M. Oliveira
Labelled Theorem Proving for Substructural Logics.
SBIA
(1995)