| Publication | Date of Publication | Type |
|---|
A functional logic for higher level reasoning about computation
Formal Aspects of Computing | 1994-12-01 | Paper |
Formalizing a Hierarchical Structure of Practical Mathematical Reasoning
Journal Of Logic And Computation | 1993-12-06 | Paper |
An extensional fixed-point semantics for nondeterministic data flow
Theoretical Computer Science | 1992-06-28 | Paper |
Structure sharing for quantified terms: Fundamentals
Journal of Automated Reasoning | 1990-01-01 | Paper |
Delaying unification algorithms for lambda calculi
Theoretical Computer Science | 1988-01-01 | Paper |
Efficient unification of quantified terms
The Journal of Logic Programming | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4043301 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3827196 (Why is no real title available?) | 1983-01-01 | Paper |
The maximum flow problem is log space complete for P
Theoretical Computer Science | 1982-01-01 | Paper |
Efficient Combinatory Reduction
Mathematical Logic Quarterly | 1981-01-01 | Paper |
On optimal trees
Journal of Algorithms | 1981-01-01 | Paper |
Computation on graph-like expressions
Theoretical Computer Science | 1980-01-01 | Paper |
Optimal evaluations of graph-like expressions
Theoretical Computer Science | 1980-01-01 | Paper |
Speeding up subtree replacement systems
Theoretical Computer Science | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3614755 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3630695 (Why is no real title available?) | 1979-01-01 | Paper |
Truth in constructive metamathematics
Notre Dame Journal of Formal Logic | 1978-01-01 | Paper |
Optimal reduction in replacement systems
Bulletin of the Australian Mathematical Society | 1977-01-01 | Paper |
A class of replacement systems with simple optimality theory
Bulletin of the Australian Mathematical Society | 1977-01-01 | Paper |
Fixed point theorems in uniformly rotund metric spaces
Bulletin of the Australian Mathematical Society | 1976-01-01 | Paper |
Asymptotic centres of filters on uniformly rotund spaces
Bulletin of the Australian Mathematical Society | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3478840 (Why is no real title available?) | 1975-01-01 | Paper |
Combinator realizability of a constructive Morse set theory
Journal of Symbolic Logic | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3427307 (Why is no real title available?) | 1973-01-01 | Paper |
Axioms for constructive fields
Bulletin of the Australian Mathematical Society | 1973-01-01 | Paper |
On Constructive Fields
Proceedings of the London Mathematical Society | 1971-01-01 | Paper |
A Non-Standard Representatiion of Boolean Algebras, and Applications
Bulletin of the London Mathematical Society | 1969-01-01 | Paper |
