Denis Richard

Available identifiers

zbMath Open richard.denisMaRDI QIDQ1401350

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5222074	2020-03-30	Paper
https://portal.mardi4nfdi.de/entity/Q5445159	2008-03-03	Paper
Maximal deformation of an impacting drop	2005-04-15	Paper
Pyramidal and toroidal water drops after impact on a solid surface	2003-12-18	Paper
On the amplitude of intervals of natural numbers whose every element has a common prime divisor with at least an extremity.	2003-08-17	Paper
What are weak arithmetic?	2001-08-23	Paper
Decidability of the theory of the natural integers with the Cantor pairing function and the successor	2001-08-20	Paper
La théorie élémentaire de la fonction de couplage de Cantor des entiers naturels est décidable	2001-01-28	Paper
On arithmetical first-order theories allowing encoding and decoding of lists	2000-01-12	Paper
Undecidable extensions of Skolem arithmetic	1998-10-07	Paper
https://portal.mardi4nfdi.de/entity/Q4717487	1997-02-24	Paper
Back and forth between continuous and discrete for the working computer scientist	1997-01-29	Paper
Definability and decidability issues in extensions of the integers with the divisibility predicate	1996-11-24	Paper
https://portal.mardi4nfdi.de/entity/Q4697160	1993-06-29	Paper
Contribution à l'étude d'une conjecture de théorie des nombres par le codage ZBV. (Contribution to the study of a conjecture of number theory by ZBV coding)	1989-01-01	Paper
Definability in terms of the successor function and the coprimeness predicate in the set of arbitrary integers	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4735188	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3834042	1987-01-01	Paper
All arithmetical sets of powers of primes are first-order definable in terms of the successor function and the coprimeness predicate	1985-01-01	Paper
The Minisum and Minimax Location Problems Revisited	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3714077	1985-01-01	Paper
Answer to a problem raised by J. Robinson: The arithmetic of positive or negative integers is definable from successor and divisibility	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3218118	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3701419	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3768866	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3946159	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3962975	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3866083	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3927186	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3927187	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4195117	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4165386	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4190637	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4137393	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4080425	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4050759	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5182411	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4041843	1972-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: Denis Richard