Dynamic program improvement

DOI10.1007/3-540-51517-8_114zbMath1209.68693OpenAlexW1569453481MaRDI QIDQ5393335

J. P. Fitch, P. D. Pearce

Publication date: 16 April 2011

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-51517-8_114

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

This page was built for publication: Dynamic program improvement