John Staples

Available identifiers

zbMath Open staples.johnMaRDI QIDQ911772

List of research outcomes

Publication	Date of Publication	Type
A functional logic for higher level reasoning about computation	1994-12-01	Paper
Formalizing a Hierarchical Structure of Practical Mathematical Reasoning	1993-12-06	Paper
An extensional fixed-point semantics for nondeterministic data flow	1992-06-28	Paper
Structure sharing for quantified terms: Fundamentals	1990-01-01	Paper
Efficient unification of quantified terms	1988-01-01	Paper
Delaying unification algorithms for lambda calculi	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3780488	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3673098	1983-01-01	Paper
The maximum flow problem is log space complete for P	1982-01-01	Paper
On optimal trees	1981-01-01	Paper
Efficient Combinatory Reduction	1981-01-01	Paper
Computation on graph-like expressions	1980-01-01	Paper
Optimal evaluations of graph-like expressions	1980-01-01	Paper
Speeding up subtree replacement systems	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4192036	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4179002	1979-01-01	Paper
Truth in constructive metamathematics	1978-01-01	Paper
A class of replacement systems with simple optimality theory	1977-01-01	Paper
Optimal reduction in replacement systems	1977-01-01	Paper
Fixed point theorems in uniformly rotund metric spaces	1976-01-01	Paper
Asymptotic centres of filters on uniformly rotund spaces	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4063416	1975-01-01	Paper
Combinator realizability of a constructive Morse set theory	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3214889	1973-01-01	Paper
Axioms for constructive fields	1973-01-01	Paper
On Constructive Fields	1971-01-01	Paper
A Non-Standard Representatiion of Boolean Algebras, and Applications	1969-01-01	Paper

Research outcomes over time

This page was built for person: John Staples