Clement F. Kent

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A survey of ordinal interpretations of type ɛ0 for termination of rewriting systems Conditional and Typed Rewriting Systems	2023-03-09	Paper
Extensions of arithmetic for proving termination of computations Journal of Symbolic Logic	1989-01-01	Paper
Uniform normal form for general time-bounded complexity classes Journal of Computer and System Sciences	1986-01-01	Paper
A normal form for arithmetical representation of \({\mathcal N}{\mathcal P}\)-sets Journal of Computer and System Sciences	1983-01-01	Paper
An arithmetical characterization of NP Theoretical Computer Science	1982-01-01	Paper
scientific article; zbMATH DE number 3517132 (Why is no real title available?)	1975-01-01	Paper
scientific article; zbMATH DE number 3455237 (Why is no real title available?)	1974-01-01	Paper
The relation of A to Prov ˹A˺ in the Lindenbaum sentence algebra Journal of Symbolic Logic	1973-01-01	Paper
Reducing Ordinal Recursion	1969-01-01	Paper
Recursive Functions Defined by Ordinal Recursions	1969-01-01	Paper
Constructive Analogues of the Group of Permutations of the Natural Numbers	1962-01-01	Paper

Research outcomes over time

This page was built for person: Clement F. Kent