Constructive characterizations of the value function of a mixed-integer program / BEBR No. 784

Bibliography: p. [44]-[45]

Nonlinear programming and cutting-plane theory

Issued as Progress reports no. [1-2], and Final report, Project no. M-50-63

Integer and semi-infinite programming

Issued as Progress reports [nos. 1-2], and Final report, Project no. M-50-60

Cutting-plane theory and nonlinear programming

Issued as Project proposal, and Final report, Project no. M-50-63

Computational complexity of some problems in parametric discrete programming : I / BEBR No.893

Includes bibliographical references (p. 40-41)

Redundancies in the Hilbert-Bernays derivability conditions for Godel's second incompleteness theorem

Mathematics Technical Repor

Two theorems on experimental logics

Mathematics Technical Repor