vix.ing
·
top
·
new
·
best
·
stats
·
spec
Derek C. Oppen
Simplification by Cooperating Decision Procedures
1979/10/01 by
Greg Nelson
,
Derek C. Oppen
· 8 citations