Bernard Hodgson

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
Sociomathematical norms: in search of the normative aspects of mathematical discussions European Mathematical Society Newsletter	2014-01-03	Paper
A short history of the fifth operation	2010-08-27	Paper
Difficulties in the passage from secondary to tertiary education Documenta Mathematica	1998-08-06	Paper
scientific article; zbMATH DE number 1086632 (Why is no real title available?)	1998-03-23	Paper
scientific article; zbMATH DE number 579182 (Why is no real title available?)	1994-07-07	Paper
scientific article; zbMATH DE number 36113 (Why is no real title available?)	1992-06-28	Paper
Regards sur les etudes de la CIEM. (Considerations on the studies of CIEM) L'Enseignement Mathématique. 2e Série	1991-01-01	Paper
scientific article; zbMATH DE number 4201690 (Why is no real title available?)	1991-01-01	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
scientific article; zbMATH DE number 3841819 (Why is no real title available?)	1983-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
On direct products of automaton decidable theories Theoretical Computer Science	1982-01-01	Paper
An arithmetical characterization of NP Theoretical Computer Science	1982-01-01	Paper
Complexity bounds on proofs Journal of Symbolic Logic	1981-01-01	Paper

Research outcomes over time

This page was built for person: Bernard Hodgson