Collaborated with:
A.M.Haeberer C.T.Prates C.D.Ururahy M.F.Frias N.C.Albuquerque
Talks about:
program (1) therem (1) rewrit (1) assist (1) prove (1) plato (1) tool (1) term (1)
Person: Andre J. Sampaio
DBLP: Sampaio:Andre_J=
Contributed to:
Wrote 1 papers:
- TAPSOFT-1995-SampaioHPUFA #named #programming #proving #term rewriting
- PLATO: A Tool to Assist Programming as Term Rewriting and Therem Proving (AJS, AMH, CTP, CDU, MFF, NCA), pp. 797–798.