Clement F. Kent

Publication Activity (10 Years)

Years Active: 1973-1990
Publications (10 Years): 0

Publications

Bernard R. Hodgson, Clement F. Kent
for Termination of Rewriting Systems. CTRS (1990)
Clement F. Kent, Bernard R. Hodgson
Extensions of Arithmetic For Proving Termination of Computations. J. Symb. Log. 54 (3) (1989)
Bernard R. Hodgson, Clement F. Kent
Uniform Normal Form for General Time-Bounded Complexity Classes. J. Comput. Syst. Sci. 32 (3) (1986)
Bernard R. Hodgson, Clement F. Kent
A Normal Form for Arithmetical Representation of NP-Sets. J. Comput. Syst. Sci. 27 (3) (1983)
Clement F. Kent, Bernard R. Hodgson
An Arithmetical Characterization of NP. Theor. Comput. Sci. 21 (1982)
Clement F. Kent
The Relation of A to Prov A in the Lindenbaum Sentence Algebra. J. Symb. Log. 38 (2) (1973)