AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Implementing Algebraic Dynamic Programming in the Functional and the Imperative Programming Paradigm
MPC '02 Proceedings of the 6th International Conference on Mathematics of Program Construction
A discipline of dynamic programming over sequence data
Science of Computer Programming - Methods of software design: Techniques and applications
Hi-index | 0.00 |