Clement F. Kent

According to our database, Clement F. Kent authored at least 6 papers between 1973 and 1990.

Collaborative distances:

• Dijkstra number of seven.
• Erdős number of five.

1990

A Survey of Ordinal Interpretations of Type epsilon₀for Termination of Rewriting Systems.

Bernard R. Hodgson, Clement F. Kent

Proceedings of the Conditional and Typed Rewriting Systems, 1990

1989

Extensions of Arithmetic For Proving Termination of Computations.

Clement F. Kent, Bernard R. Hodgson

J. Symb. Log., 1989

1986

Uniform Normal Form for General Time-Bounded Complexity Classes.

Bernard R. Hodgson, Clement F. Kent

J. Comput. Syst. Sci., 1986

1983

A Normal Form for Arithmetical Representation of NP-Sets.

Bernard R. Hodgson, Clement F. Kent

J. Comput. Syst. Sci., 1983

1982

An Arithmetical Characterization of NP.

Clement F. Kent, Bernard R. Hodgson

Theor. Comput. Sci., 1982

1973

The Relation of A to Prov A in the Lindenbaum Sentence Algebra.

Clement F. Kent

J. Symb. Log., 1973