𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Unfolding rules for GHC programs

✍ Scribed by Koichi Furukawa; Akira Okumura; Masaki Murakami

Book ID
112976737
Publisher
Springer
Year
1988
Tongue
English
Weight
562 KB
Volume
6
Category
Article
ISSN
0288-3635

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Unfold/fold transformations for disjunct
Unfold/fold transformations for disjunctive logic programs
✍ Manolis Gergatsoulis πŸ“‚ Article πŸ“… 1997 πŸ› Elsevier Science 🌐 English βš– 627 KB

Unfold/fold transformation rules for disjunctive logic programs are proposed in this paper. Our transformation rules preserve the meaning of the programs. @ 1997 Elsevier Science B.V.

A note on decision rules for stochastic
A note on decision rules for stochastic programs
✍ David W. Walkup; Roger J.-B. Wets πŸ“‚ Article πŸ“… 1968 πŸ› Elsevier Science 🌐 English βš– 341 KB

In this note it will be shown that, in a sense to be made precise, a two-stage stochastic program with recourse with right-hand sides random (i.e., a two-stage programming under uncertainty problem) has optimal decision rules which are continuous and piecewise linear. The proof relies on a basic pro