The following pages link to Denis Richard (Q1401350):
Displaying 39 items.
- (Q198149) (redirect page) (← links)
- On the amplitude of intervals of natural numbers whose every element has a common prime divisor with at least an extremity. (Q1401351) (← links)
- Back and forth between continuous and discrete for the working computer scientist (Q1817064) (← links)
- 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) (Q1825869) (← links)
- On arithmetical first-order theories allowing encoding and decoding of lists (Q1960537) (← links)
- All arithmetical sets of powers of primes are first-order definable in terms of the successor function and the coprimeness predicate (Q2266708) (← links)
- (Q3218118) (← links)
- Definability in terms of the successor function and the coprimeness predicate in the set of arbitrary integers (Q3478404) (← links)
- (Q3701419) (← links)
- The Minisum and Minimax Location Problems Revisited (Q3705190) (← links)
- (Q3714077) (← links)
- Answer to a problem raised by J. Robinson: The arithmetic of positive or negative integers is definable from successor and divisibility (Q3752366) (← links)
- (Q3768866) (← links)
- (Q3834042) (← links)
- (Q3866083) (← links)
- (Q3927186) (← links)
- (Q3927187) (← links)
- (Q3946159) (← links)
- (Q3962975) (← links)
- (Q4041843) (← links)
- (Q4050759) (← links)
- (Q4080425) (← links)
- (Q4137393) (← links)
- (Q4165386) (← links)
- (Q4190637) (← links)
- (Q4195117) (← links)
- Undecidable extensions of Skolem arithmetic (Q4212909) (← links)
- Pyramidal and toroidal water drops after impact on a solid surface (Q4440941) (← links)
- La théorie élémentaire de la fonction de couplage de Cantor des entiers naturels est décidable (Q4509362) (← links)
- Maximal deformation of an impacting drop (Q4670031) (← links)
- (Q4697160) (← links)
- (Q4717487) (← links)
- (Q4735188) (← links)
- Definability and decidability issues in extensions of the integers with the divisibility predicate (Q4894724) (← links)
- (Q5182411) (← links)
- (Q5222074) (← links)
- (Q5445159) (← links)
- Decidability of the theory of the natural integers with the Cantor pairing function and the successor (Q5941253) (← links)
- What are weak arithmetic? (Q5941733) (← links)
