Bernard Hodgson

Available identifiers

Publication	Date of Publication	Type
A survey of ordinal interpretations of type ɛ0 for termination of rewriting systems	2023-03-09	Paper
Sociomathematical norms: in search of the normative aspects of mathematical discussions	2014-01-03	Paper
https://portal.mardi4nfdi.de/entity/Q3584320	2010-08-27	Paper
Difficulties in the passage from secondary to tertiary education	1998-08-06	Paper
https://portal.mardi4nfdi.de/entity/Q4362881	1998-03-23	Paper
https://portal.mardi4nfdi.de/entity/Q4293707	1994-07-07	Paper
https://portal.mardi4nfdi.de/entity/Q3990998	1992-06-28	Paper
Regards sur les etudes de la CIEM. (Considerations on the studies of CIEM)	1991-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3350831	1991-01-01	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
https://portal.mardi4nfdi.de/entity/Q3312199	1983-01-01	Paper
A normal form for arithmetical representation of \({\mathcal N}{\mathcal P}\)-sets	1983-01-01	Paper
On direct products of automaton decidable theories	1982-01-01	Paper
An arithmetical characterization of NP	1982-01-01	Paper
Complexity bounds on proofs	1981-01-01	Paper

This page was built for person: Bernard Hodgson