What Is an Algorithm? (2000)

by Yiannis N. Moschovakis
Citations:25 - 3 self

Active Bibliography

1 What Is an Algorithm? – Yiannis N. Moschovakis
944 A theory of type polymorphism in programming – Robin Milner - 1978
849 The Well-Founded Semantics for General Logic Programs – Kenneth A. Ross - 1991
1390 An axiomatic basis for computer programming – C. A. R. Hoare - 1969
546 Parametric Shape Analysis via 3-Valued Logic – Mooly Sagiv, Thomas Reps, Reinhard Wilhelm - 1999
2474 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
1186 Information Theory and Statistics – S. Kullback - 1968
1338 Data Clustering: A Review – A K Jain, M N Murty, P. J. Flynn - 1999
1813 How to leak a secret – Ronald L. Rivest, Adi Shamir, Yael Tauman - 2001