| 1990 |
|---|
| 6 | | Bernard R. Hodgson,
Clement F. Kent:
A Survey of Ordinal Interpretations of Type epsilon0for Termination of Rewriting Systems.
CTRS 1990: 137-142 |
| 1989 |
|---|
| 5 | | Clement F. Kent,
Bernard R. Hodgson:
Extensions of Arithmetic For Proving Termination of Computations.
J. Symb. Log. 54(3): 779-794 (1989) |
| 1986 |
|---|
| 4 | | Bernard R. Hodgson,
Clement F. Kent:
Uniform Normal Form for General Time-Bounded Complexity Classes.
J. Comput. Syst. Sci. 32(3): 363-369 (1986) |
| 1983 |
|---|
| 3 | | Bernard R. Hodgson,
Clement F. Kent:
A Normal Form for Arithmetical Representation of NP-Sets.
J. Comput. Syst. Sci. 27(3): 378-388 (1983) |
| 1982 |
|---|
| 2 | | Clement F. Kent,
Bernard R. Hodgson:
An Arithmetical Characterization of NP.
Theor. Comput. Sci. 21: 255-267 (1982) |
| 1973 |
|---|
| 1 | | Clement F. Kent:
The Relation of A to Prov A in the Lindenbaum Sentence Algebra.
J. Symb. Log. 38(2): 295-298 (1973) |
