共 22 条
- [1] ARNOLD A, 1977, LECTURE NOTES COMPUT, V56, P12
- [2] Bellman R., 1957, DYNAMIC PROGRAMMING
- [4] INITIAL ALGEBRA SEMANTICS AND CONTINUOUS ALGEBRAS [J]. JOURNAL OF THE ACM, 1977, 24 (01) : 68 - 95
- [5] A FORMAL BASIS FOR HEURISTIC DETERMINATION OF MINIMUM COST PATHS [J]. IEEE TRANSACTIONS ON SYSTEMS SCIENCE AND CYBERNETICS, 1968, SSC4 (02): : 100 - +
- [6] Hopcroft J.E., 1969, FORMAL LANGUAGES THE
- [9] JOHNSON DB, 1973, THESIS CORNELL U ITH