Clement F. Kent

Available identifiers

zbMath Open kent.clement-fMaRDI QIDQ790803

List of research outcomes

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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Clement F. Kent