Categories, relations and dynamic programming
From MaRDI portal
Publication:4286530
DOI10.1017/S0960129500000360zbMATH Open0793.90091OpenAlexW4206120425MaRDI QIDQ4286530FDOQ4286530
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
Recommendations
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- The String-to-String Correction Problem
- Efficient Parallel Algorithms for String Editing and Related Problems
- Finite-State Processes and Dynamic Programming
- A Comprehensive Model of Dynamic Programming
- A common schema for dynamic programming and branch and bound algorithms
- Transformational programming and the paragraph problem
- On efficient parallel computations for some dynamic programming problems
- Data structures and program transformation
- Algebraic specification of data types: A synthetic approach
- Top-down synthesis of divide-and-conquer algorithms
- Formal derivation of a pattern matching algorithm
- On the synthesis of function inverses
- Program inversion: More than fun!
- Breaking paragraphs into lines
- Automata in general algebras
- An exercise in transformational programming: Backtracking and Branch-and- Bound
- Speeding up dynamic programming with applications to molecular biology
- Applications of a strategy for designing divide-and-conquer algorithms
- Dynamic programming on two-dimensional systolic arrays
- The Least Weight Subsequence Problem
- Algorithm theories and design tactics
- A new look at Bellman's principle of optimality
- The principle of optimality in the design of efficient algorithms
- Dynamic programming on linear pipelines
Cited In (9)
- Program calculation in Coq
- Adding design strategies to fork algebras
- Categories of relations and functional relations
- List partitions
- Partiality. II: Constructed relation algebras
- Title not available (Why is that?)
- A short cut to optimal sequences
- Predicate transformers and higher-order programs
- Relations in operational categories
Uses Software
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)