Subject
Computer Science Applications,Information Systems,Signal Processing
Reference21 articles.
1. E. Berelian and K.B. Irani, “Evaluation and optimization,” Proceedings of tbe International Conference on Very Large Data Bases 3, 1977, 545–55
2. K.Q. Brown, “Dynamic programming in computer science,” Department of Computer Science, Carnegie Mellon University Technical Report CMU-CS-79–106, 1979
3. J. Cohen and C. Zuckerman, “Two languages for estimating program efficiency,” Communications of the ACM 17(6), 1974, 301–8
4. S.A. Cook, “The complexity of theorem-proving procedures,” Proc. 3rd Ann. ACM Symp. on Theory of Computing, 1971, 151–8
5. R.B.K. Dewar, A. Grand, S-C. Liu, J.T. Schwartz, and E. Shonberg, “Programming by refinement, as exemplified by the SETL representation sublanguage,” ACM Transactions of Programming Languages and Systems 1(1), 1979, 27–49