List partitions
From MaRDI portal
Publication:2366166
DOI10.1007/BF01211316zbMath0787.68068MaRDI QIDQ2366166
Publication date: 29 June 1993
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01211316
dynamic programming; greedy algorithm; program transformation; program synthesis; list partitions; program calculus
68Q60: Specification and verification (program logics, model checking, etc.)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Transformational programming and the paragraph problem
- Speeding up dynamic programming with applications to molecular biology
- Formal derivation of a pattern matching algorithm
- The Least Weight Subsequence Problem
- Breaking paragraphs into lines
- Data compression via textual substitution
- Categories, relations and dynamic programming