Clement F. Kent

Available identifiers

Publication	Date of Publication	Type
A survey of ordinal interpretations of type ɛ0 for termination of rewriting systems	2023-03-09	Paper
Extensions of arithmetic for proving termination of computations	1989-01-01	Paper
Uniform normal form for general time-bounded complexity classes	1986-01-01	Paper
A normal form for arithmetical representation of \({\mathcal N}{\mathcal P}\)-sets	1983-01-01	Paper
An arithmetical characterization of NP	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4097272	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4041555	1974-01-01	Paper
The relation of A to Prov ˹A˺ in the Lindenbaum sentence algebra	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

This page was built for person: Clement F. Kent