| Publication | Date of Publication | Type |
|---|
| scientific article; zbMATH DE number 2248154 (Why is no real title available?) | 2006-01-18 | Paper |
An intensional type theory: Motivation and cut-elimination
The Journal of Symbolic Logic | 2002-03-12 | Paper |
| scientific article; zbMATH DE number 1341476 (Why is no real title available?) | 1999-09-22 | Paper |
| scientific article; zbMATH DE number 1088198 (Why is no real title available?) | 1997-11-17 | Paper |
| scientific article; zbMATH DE number 517076 (Why is no real title available?) | 1994-08-28 | Paper |
A logic for category theory
Theoretical Computer Science | 1994-07-07 | Paper |
Logical foundations for programming semantics
Theoretical Computer Science | 1994-05-05 | Paper |
Logic, sets, and mathematics
The Mathematical Intelligencer | 1993-05-16 | Paper |
Natural deduction based set theories: a new resolution of the old paradoxes
Journal of Symbolic Logic | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4027206 (Why is no real title available?) | 1985-01-01 | Paper |
Cutting Stock, Linear Programming, Knapsacking, Dynamic Programming and Integer Programming, Some Interconnections
Discrete Optimization I, Proceedings of the Advanced Research Institute on Discrete Optimization and Systems Applications of the Systems Science Panel of NATO and of the Discrete Optimization Symposium | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3484054 (Why is no real title available?) | 1974-01-01 | Paper |
An examination of the geometry theorem machine
Artificial Intelligence | 1970-01-01 | Paper |
The lambda-gamma calculus: A language adequate for defining recursive functions
Information Sciences | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3290305 (Why is no real title available?) | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3290305 (Why is no real title available?) | 1968-01-01 | Paper |
The Theory and Computation of Knapsack Functions
Operations Research | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3254602 (Why is no real title available?) | 1966-01-01 | Paper |
| scientific article; zbMATH DE number 3238300 (Why is no real title available?) | 1966-01-01 | Paper |
Multistage Cutting Stock Problems of Two and More Dimensions
Operations Research | 1965-01-01 | Paper |
A Characterization of Comparability Graphs and of Interval Graphs
Canadian Journal of Mathematics | 1964-01-01 | Paper |
Sequencing a One State-Variable Machine: A Solvable Case of the Traveling Salesman Problem
Operations Research | 1964-01-01 | Paper |
A SOLVABLE CASE OF THE TRAVELING SALESMAN PROBLEM
Proceedings of the National Academy of Sciences | 1964-01-01 | Paper |
A Linear Programming Approach to the Cutting Stock Problem—Part II
Operations Research | 1963-01-01 | Paper |
| scientific article; zbMATH DE number 3176424 (Why is no real title available?) | 1963-01-01 | Paper |
Some forms of completeness
Journal of Symbolic Logic | 1963-01-01 | Paper |
Optimal and Suboptimal Algorithms for the Quadratic Assignment Problem
Journal of the Society for Industrial and Applied Mathematics | 1962-01-01 | Paper |
A Linear Programming Approach to the Cutting-Stock Problem
Operations Research | 1961-01-01 | Paper |
A Proof Method for Quantification Theory: Its Justification and Realization
IBM Journal of Research and Development | 1960-01-01 | Paper |
| scientific article; zbMATH DE number 3285192 (Why is no real title available?) | 1960-01-01 | Paper |
| scientific article; zbMATH DE number 3193211 (Why is no real title available?) | 1960-01-01 | Paper |
| scientific article; zbMATH DE number 3241262 (Why is no real title available?) | 1958-01-01 | Paper |
| scientific article; zbMATH DE number 3241262 (Why is no real title available?) | 1958-01-01 | Paper |
Metamathematical Considerations On The Relative Irreducibility Of Polynomials
Canadian Journal of Mathematics | 1955-01-01 | Paper |
| scientific article; zbMATH DE number 3085796 (Why is no real title available?) | 1953-01-01 | Paper |
| scientific article; zbMATH DE number 3084371 (Why is no real title available?) | 1953-01-01 | Paper |
