Paul C. Gilmore

Available identifiers

zbMath Open gilmore.paul-cMaRDI QIDQ685418

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5719212	2006-01-18	Paper
An intensional type theory: Motivation and cut-elimination	2002-03-12	Paper
https://portal.mardi4nfdi.de/entity/Q4263015	1999-09-22	Paper
https://portal.mardi4nfdi.de/entity/Q4364512	1997-11-17	Paper
https://portal.mardi4nfdi.de/entity/Q4282606	1994-08-28	Paper
A logic for category theory	1994-07-07	Paper
Logical foundations for programming semantics	1994-05-05	Paper
Logic, sets, and mathematics	1993-05-16	Paper
Natural deduction based set theories: a new resolution of the old paradoxes	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3768703	1985-01-01	Paper
Cutting Stock, Linear Programming, Knapsacking, Dynamic Programming and Integer Programming, Some Interconnections	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4067100	1974-01-01	Paper
An examination of the geometry theorem machine	1970-01-01	Paper
The lambda-gamma calculus: A language adequate for defining recursive functions	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5572328	1968-01-01	Paper
The Theory and Computation of Knapsack Functions	1967-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5541037	1966-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5525786	1966-01-01	Paper
Multistage Cutting Stock Problems of Two and More Dimensions	1965-01-01	Paper
A Characterization of Comparability Graphs and of Interval Graphs	1964-01-01	Paper
Sequencing a One State-Variable Machine: A Solvable Case of the Traveling Salesman Problem	1964-01-01	Paper
A SOLVABLE CASE OF THE TRAVELING SALESMAN PROBLEM	1964-01-01	Paper
A Linear Programming Approach to the Cutting Stock Problem—Part II	1963-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3843955	1963-01-01	Paper
Some forms of completeness	1963-01-01	Paper
Optimal and Suboptimal Algorithms for the Quadratic Assignment Problem	1962-01-01	Paper
A Linear Programming Approach to the Cutting-Stock Problem	1961-01-01	Paper
A Proof Method for Quantification Theory: Its Justification and Realization	1960-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5567831	1960-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5729554	1960-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5528633	1958-01-01	Paper
Metamathematical Considerations On The Relative Irreducibility Of Polynomials	1955-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5824673	1953-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5823283	1953-01-01	Paper

Research outcomes over time

This page was built for person: Paul C. Gilmore