Login / Signup
Claudio T. Prates
Publication Activity (10 Years)
Years Active: 1995-1995
Publications (10 Years): 0
</>
Publications
</>
Andre J. Sampaio
,
Armando Martin Haeberer
,
Claudio T. Prates
,
Cristina D. Ururahy
,
Marcelo F. Frias
,
Neudson C. Albuquerque
PLATO: A Tool to Assist Programming as Term Rewriting and Therem Proving.
TAPSOFT
(1995)