Bibliography
[AA81] Squd Alagic and Micheal A. Arbib. The Design of Well Structured and Correct Programs. Springer-Verlag, 1981.
[AB99] M. Agarwal and S. Biswas. Primality and Identity Testing via Chinese remaindering. In Proceedings of Annual IEEE Symposium on Foundations of Computer Science, 202–209, 1999.
[Abr90] Karl R. Abrahamson. A time-space tradeoff for boolean matrix multiplication. In proceedings 31st Annual Symposium on Foundations of Computer Science, 412–419, St. Louis, MO, October 1990. IEEE.
[Abr 91] Karl R. Abrahamson. Time-space tradeoffs for algebraic problems on general sequential models, Journal of Computer and System Sciences, 13(2): 269–289, October 1991.
[AH87] L. M. Adleman and M. A. Huang. Recognizing primes ...
Get Design and Analysis of Algorithms now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
