The following pages link to Paul C. Gilmore (Q685418):
Displaying 35 items.
- Logical foundations for programming semantics (Q685420) (← links)
- A logic for category theory (Q685421) (← links)
- Logic, sets, and mathematics (Q1209798) (← links)
- (Q2542068) (redirect page) (← links)
- The lambda-gamma calculus: A language adequate for defining recursive functions (Q2542069) (← links)
- An examination of the geometry theorem machine (Q2542288) (← links)
- An intensional type theory: motivation and cut-elimination (Q2732287) (← links)
- Natural deduction based set theories: a new resolution of the old paradoxes (Q3030824) (← links)
- Metamathematical Considerations On The Relative Irreducibility Of Polynomials (Q3226781) (← links)
- A Linear Programming Approach to the Cutting-Stock Problem (Q3275357) (← links)
- A Proof Method for Quantification Theory: Its Justification and Realization (Q3275827) (← links)
- (Q3768703) (← links)
- (Q3843955) (← links)
- (Q4067100) (← links)
- Cutting Stock, Linear Programming, Knapsacking, Dynamic Programming and Integer Programming, Some Interconnections (Q4197625) (← links)
- (Q4263015) (← links)
- (Q4282606) (← links)
- (Q4364512) (← links)
- A Linear Programming Approach to the Cutting Stock Problem—Part II (Q5328572) (← links)
- Sequencing a One State-Variable Machine: A Solvable Case of the Traveling Salesman Problem (Q5331678) (← links)
- Multistage Cutting Stock Problems of Two and More Dimensions (Q5336847) (← links)
- (Q5525786) (← links)
- (Q5528633) (← links)
- (Q5541037) (← links)
- The Theory and Computation of Knapsack Functions (Q5560786) (← links)
- (Q5567831) (← links)
- (Q5572328) (← links)
- (Q5719212) (← links)
- A SOLVABLE CASE OF THE TRAVELING SALESMAN PROBLEM (Q5725691) (← links)
- Optimal and Suboptimal Algorithms for the Quadratic Assignment Problem (Q5728874) (← links)
- Some forms of completeness (Q5729292) (← links)
- (Q5729554) (← links)
- A Characterization of Comparability Graphs and of Interval Graphs (Q5732670) (← links)
- (Q5823283) (← links)
- (Q5824673) (← links)
