Between Dynamic Programming and Greedy: Data Compression (1995)

Cached

Download Links

by Richard S. Bird , Oege De Moor
Venue:Programming Research Group, 11 Keble Road, Oxford OX1 3QD
Citations:5 - 0 self

Active Bibliography

20 An Algebraic Construction of Predicate Transformers – Paul Gardiner, Clare Martin, Oege De Moor - 1994
6 A Relational Approach To Optimization Problems – Sharon Curtis - 1996
5 Dynamic Programming: a different perspective – Sharon Curtis - 1997
12 Universal regular path queries – Oege De Moor, David Lacey, Eric Van Wyk - 2003
14 From Dynamic Programming to Greedy Algorithms – Richard Bird, Oege De Moor - 1992
15 Between Functions and Relations in Calculating Programs – Graham Muir Hutton - 1992
12 Container Types Categorically – Paul Hoogendijk, Oege De Moor - 2000
9 Inductive Data Types for Predicate Transformers – Oege De Moor - 1995
9 Generic Programming With Relations and Functors – Richard Bird, Oege De Moor, Paul Hoogendijk - 1999
3 A Relational Derivation of a Functional Program – Graham Hutton - 1992
4 Partial Functions, Ordered Categories, Limits and Cartesian Closure – C. Barry Jay - 1993
7 A View on Implementing Processes: Categories of Circuits – Ulrich Hensel, David Spooner - 1996
26 Dynamic programming via static incrementalization – Yanhong A. Liu, Scott D. Stoller - 1999
20 Algebra of logic programming – Silvija Seres - 1999
11 Galois connections and fixed point calculus – Roland Backhouse, Bb England - 2002
4 Pointfree factorization of operation refinement – José N. Oliveira, César J. Rodrigues, Dep Informática - 2006
5 Transforming Data by Calculation – José N. Oliveira - 2008
5 String Pattern Matching For A Deluge Survival Kit – Alberto Apostolico, Maxime Crochemore - 2000
New Foundations for Fixpoint Computations: FIX-Hyperdoctrines and the FIX-Logic – unknown authors