A Relational Approach To Optimization Problems (1996)

Cached

Download Links

by Sharon Curtis
Citations:6 - 0 self

Documents Related by Co-Citation

8557 R.: Introduction to Algorithms – T Cormen, C Leiserson, Rivest - 1990
96 and Oege de Moor. Algebra of Programming – Richard Bird - 1997
4 On Building Trees with Minimum Height – R S Bird - 1997
35 Elements of a Relational Theory of Datatypes – Roland Backhouse, Paul Hoogendijk - 1993
469 The Science of Programming – D Gries - 1981
6 Compiling Bottom-up and Mixed Derivations into Top-down Executable Logic Programs – D De Schreye, B Martens, G Sablon, M Bruynooghe - 1991
31 O.: Categories, relations and dynamic programming – de Moor - 1992
16 Embedding prolog in haskell – Silvija Seres, Michael Spivey - 1999
34 Relational Algebraic Semantics of Deterministic and Nondeterministic Programs – R Berghammer, H Zierer - 1986
708 The Semantics of Predicate Logic as a Programming Language – M. H. Van Emden, R. A. Kowalski - 1976
1 On building trees with miminumheight – Richard Bird - 1997
2 Schreye. Explanation based program transformation – M Bruynooghe, L De Raedt, D De - 1989
1 The principle of optimality in the design of ecient algorithms – P Helman - 1986
28 XSB as an e#cient deductive database engine – K Sagonas, T Swift, D S Warren - 1994
2593 On the theory of dynamic programming – Richard E Bellman - 1952
8 Statement inversion and strongest postcondition – R. J. R. Back, J. Wright - 1993
4 Constructing tournament representations: An exercise in pointwise relational programming – Ralf Hinze - 2002
6 Pointwise Relational Programming – Oege De Moor, Jeremy Gibbons - 2000
16 Program inversion: more than fun – W Chen, J T Udding - 1988