Categories, relations and dynamic programming

DOI10.1017/S0960129500000360MaRDI QIDQ4286530zbMATH OpenOpenAlexFDO

Authors Oege de Moor

Publication date 16 August 1994

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129500000360

zbMATH Keywords

calculus of relationstopos theory

Mathematics Subject Classification ID

Dynamic programming (90C39) Topoi (18B25)

Recommendations

• Recursion Schemes for Dynamic Programming
• A Comprehensive Model of Dynamic Programming
• scientific article; zbMATH DE number 53073
• Theory and applications of generalized dynamic programming: An overview
• scientific article; zbMATH DE number 512948

Cites work

• scientific article; zbMATH DE number 3967883 (Why is no real title available?)
• scientific article; zbMATH DE number 3511563 (Why is no real title available?)
• A Comprehensive Model of Dynamic Programming
• A common schema for dynamic programming and branch and bound algorithms
• A new look at Bellman's principle of optimality
• Algebraic specification of data types: A synthetic approach
• Algorithm theories and design tactics
• An exercise in transformational programming: Backtracking and Branch-and- Bound
• Applications of a strategy for designing divide-and-conquer algorithms
• Automata in general algebras
• Breaking paragraphs into lines
• Data structures and program transformation
• Dynamic programming on linear pipelines
• Dynamic programming on two-dimensional systolic arrays
• Efficient Parallel Algorithms for String Editing and Related Problems
• Finite-State Processes and Dynamic Programming
• Formal derivation of a pattern matching algorithm
• On efficient parallel computations for some dynamic programming problems
• On the synthesis of function inverses
• Program inversion: More than fun!
• Speeding up dynamic programming with applications to molecular biology
• The Least Weight Subsequence Problem
• The String-to-String Correction Problem
• The principle of optimality in the design of efficient algorithms
• Top-down synthesis of divide-and-conquer algorithms
• Transformational programming and the paragraph problem

Cited in

(9)

• Program calculation in Coq
• Adding design strategies to fork algebras
• Categories of relations and functional relations
• Partiality. II: Constructed relation algebras
• List partitions
• scientific article; zbMATH DE number 3999258 (Why is no real title available?)
• Predicate transformers and higher-order programs
• Relations in operational categories
• A short cut to optimal sequences

Describes a project that uses

Uses Software

• Miranda

This page was built for publication: Categories, relations and dynamic programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4286530)