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)