{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T14:07:54Z","timestamp":1751983674257},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540574996"},{"type":"electronic","value":"9783540481973"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57499-9_16","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T13:01:35Z","timestamp":1330261295000},"page":"43-61","source":"Crossref","is-referenced-by-count":11,"title":["From dynamic programming to greedy algorithms"],"prefix":"10.1007","author":[{"given":"Richard","family":"Bird","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Oege","family":"Moor","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"3_CR1","volume-title":"A relational theory of datatypes","author":"R. C. Backhouse","year":"1992","unstructured":"R.C. Backhouse, P. Hoogendijk, E. Voermans, and J.C.S.P. van der Woude. A relational theory of datatypes. Department of Mathematics and Computing Science, Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, The Netherlands., June 1992."},{"key":"3_CR2","unstructured":"M. Barr and C. Wells. Category Theory for Computing Science. Prentice-Hall, 1990."},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"R.S. Bird and O. de Moor. List partitions. To appear, Formal Aspects of Computing, 1992.","DOI":"10.1007\/BF01211316"},{"issue":"1","key":"3_CR4","first-page":"47","volume":"32","author":"A. Carboni","year":"1991","unstructured":"A. Carboni, G.M. Kelly, and R.J. Wood. A 2-categorical approach to geometric morphisms, i. Cahiers de Topologie et Geometrie Differentielle Categoriques, 32(1):47\u201395, 1991.","journal-title":"Cahiers de Topologie et Geometrie Differentielle Categoriques"},{"key":"3_CR5","unstructured":"E.W. Dijkstra. A Discipline of Programming. Prentice-Hall, 1976."},{"key":"3_CR6","volume-title":"PhD thesis","author":"Maarten M. M. Fokkinga","year":"1992","unstructured":"Maarten M. Fokkinga. Law and Order in Algorithmes. PhD thesis, Technical University Twente, The Netherlands, 1992."},{"key":"3_CR7","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1016\/0020-0190(89)90126-9","volume":"31","author":"D. S. Hochbaum","year":"1989","unstructured":"D.S. Hochbaum and R. Shamir. An O(n log2 n) algorithm for the maximum weighted tardiness problem. Information Processing Letters, 31:215\u2013219, 1989.","journal-title":"Information Processing Letters"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"B. Korte, L. Lovasz, and R. Schrader. Greedoids, volume 4 of Algorithms and combinatorics. Springer-Verlag, 1991.","DOI":"10.1007\/978-3-642-58191-5"},{"key":"3_CR9","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/BF01110627","volume":"103","author":"J. Lambek","year":"1968","unstructured":"J. Lambek. A fixpoint theorem for complete categories. Mathematische Zeitschrift, 103:151\u2013161, 1968.","journal-title":"Mathematische Zeitschrift"},{"issue":"5","key":"3_CR10","doi-asserted-by":"crossref","first-page":"544","DOI":"10.1287\/mnsc.19.5.544","volume":"19","author":"E. L. Lawler","year":"1973","unstructured":"E.L. Lawler. Optimal sequencing of a single machine subject to precedence constraints. Management Science, 19(5):544\u2013546, January 1973.","journal-title":"Management Science"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"G. Malcolm. Homomorphisms and promotability. In J.L.A. van de Snepscheut, editor, Mathematics of Program Construction, volume 375 of Lecture Notes in Computer Science, pages 335\u2013347. Springer-Verlag, 1989.","DOI":"10.1007\/3-540-51305-1_20"},{"key":"3_CR12","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1016\/0167-6423(90)90023-7","volume":"14","author":"G. Malcolm","year":"1990","unstructured":"G. Malcolm. Data structures and program transformation. Science of Computer Programming, 14:255\u2013279, 1990.","journal-title":"Science of Computer Programming"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"E.G. Manes and M.A. Arbib. Algebraic Approaches to Program Semantics. Texts and Monographs in Computer Science. Springer-Verlag, 1986.","DOI":"10.1007\/978-1-4612-4962-7"},{"key":"3_CR14","unstructured":"L. Meertens. Paramorphisms. To appear, Formal Aspects of Computing, 1990."},{"key":"3_CR15","series-title":"Technical Monograph PRG-98","volume-title":"D.Phil. thesis","author":"O. Moor de","year":"1992","unstructured":"O. de Moor. Categories, relations and dynamic programming. D.Phil. thesis. Technical Monograph PRG-98, Computing Laboratory, Oxford, 1992."},{"key":"3_CR16","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/0167-6423(87)90034-7","volume":"18","author":"D. R. Smith","year":"1987","unstructured":"D.R. Smith. Applications of a strategy for designing divide-and-conquer algorithms. Science of Computer Programming, 18:213\u2013229, 1987.","journal-title":"Science of Computer Programming"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"M. Spivey. A categorical approach to the theory of lists. In J.L.A. van de Snepscheut, editor, Mathematics of Program Construction, volume 375 of Lecture Notes in Computer Science, pages 399\u2013408. Springer-Verlag, 1989.","DOI":"10.1007\/3-540-51305-1_24"}],"container-title":["Lecture Notes in Computer Science","Formal Program Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57499-9_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:12:28Z","timestamp":1605647548000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57499-9_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540574996","9783540481973"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-57499-9_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}