Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Charles G Nelson
Observed names:
C G Nelson,
Charles Gregory Nelson
OpenAlex ID:
A5085587463
Techniques for program verification
1979
·
Charles Gregory Nelson
·
210
Fast decision algorithms based on congruence closure
1978
·
Charles G Nelson
, Derek C. Oppen
·
22
An $n^{log n}$ algorithm for the two-variable-per-constraint linear programming satisfiability problem
1978
·
Charles G Nelson
·
19
The Development of Hot-Wire Anemometer Test Capabilities for M Infinity = 6 and M Infinity = 8 Application
1976
·
J. C. Donaldson
, C G Nelson
, et al.
Show more works
View as search
Works count:
4
Citation count:
251
H-index:
3
I10-index:
3
Year
Topic
Type
