Travelled to:1 × USA
Collaborated with:D.C.Oppen
Talks about:algorithm (1) simplifi (1) effici (1) decis (1) base (1)
Person: Charles G. Nelson
DBLP: Nelson:Charles_G=
Contributed to:
1978Wrote 1 papers:
- POPL-1978-NelsonO #algorithm #performance
- A Simplifier Based on Efficient Decision Algorithms (CGN, DCO), pp. 141–150.