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
The lambda-gamma calculus: A language adequate for defining recursive functions	1970-01-01	Paper
An examination of the geometry theorem machine	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/Q5525786	1966-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5541037	1966-01-01	Paper
Multistage Cutting Stock Problems of Two and More Dimensions	1965-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 Characterization of Comparability Graphs and of Interval Graphs	1964-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3843955	1963-01-01	Paper
A Linear Programming Approach to the Cutting Stock Problem—Part II	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/Q5823283	1953-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5824673	1953-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Paul C. Gilmore