| |
| 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) | |
| 1 | Bernard R. Hodgson | [2] [3] [4] [5] [6] |