Squd Alagic and Micheal A. Arbib. The Design of Well Structured and Correct Programs. Springer-Verlag, 1981.


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.


Karl R. Abrahamson. A time-space tradeoff for boolean matrix multiplication. In proceedings 31stAnnual 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.


L. M. Adleman and M. A. Huang. Recognizing ...

Get Design and analysis of Algorithms, 2nd Edition now with O’Reilly online learning.

O’Reilly members experience live online training, plus books, videos, and digital content from 200+ publishers.