Waldinger, Richard J.

SRI International

1 paper on CoChatORCID 0000-0002-4520-3907

Most cited papers

Verified
Toward automatic program synthesis
Manna, Z., & Waldinger, R. J. (1971) · Communications of the ACM
Logic, programming, and type systemsComputability, Logic, AI Algorithms
Cited by 285

Go further with a free account

Verify every reference, keep papers in a library, and ask questions across them.

Sign up - it is free