Categories, relations and dynamic programming
From MaRDI portal
Publication:4286530
Recommendations
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
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)