Bernard R. Hodgson

Publication Activity (10 Years)

Years Active: 1981-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)
Bernard R. Hodgson
On Direct Products of Automaton Decidable Theories. Theor. Comput. Sci. 19 (1982)
William S. Hatcher, Bernard R. Hodgson
Complexity Bounds on Proofs. J. Symb. Log. 46 (2) (1981)