| Publication | Date of Publication | Type |
|---|
| In memoriam of Alan Robert Woods | 2020-03-30 | Paper |
On the additive theory of prime numbers
(available as arXiv preprint) | 2008-03-03 | Paper |
Maximal deformation of an impacting drop
Journal of Fluid Mechanics | 2005-04-15 | Paper |
Pyramidal and toroidal water drops after impact on a solid surface
Journal of Fluid Mechanics | 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.
Theoretical Computer Science | 2003-08-17 | Paper |
What are weak arithmetic?
Theoretical Computer Science | 2001-08-23 | Paper |
Decidability of the theory of the natural integers with the Cantor pairing function and the successor
Theoretical Computer Science | 2001-08-20 | Paper |
La théorie élémentaire de la fonction de couplage de Cantor des entiers naturels est décidable
Comptes Rendus de l'Académie des Sciences - Series I - Mathematics | 2001-01-28 | Paper |
On arithmetical first-order theories allowing encoding and decoding of lists
Theoretical Computer Science | 2000-01-12 | Paper |
Undecidable extensions of Skolem arithmetic
Journal of Symbolic Logic | 1998-10-07 | Paper |
| scientific article; zbMATH DE number 952488 (Why is no real title available?) | 1997-02-24 | Paper |
Back and forth between continuous and discrete for the working computer scientist
Annals of Mathematics and Artificial Intelligence | 1997-01-29 | Paper |
Definability and decidability issues in extensions of the integers with the divisibility predicate
Journal of Symbolic Logic | 1996-11-24 | Paper |
| scientific article; zbMATH DE number 221693 (Why is no real title available?) | 1993-06-29 | Paper |
| scientific article; zbMATH DE number 4121991 (Why is no real title available?) | 1989-01-01 | 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)
L'Enseignement Mathématique. 2e Série | 1989-01-01 | Paper |
Definability in terms of the successor function and the coprimeness predicate in the set of arbitrary integers
Journal of Symbolic Logic | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4110684 (Why is no real title available?) | 1987-01-01 | Paper |
The Minisum and Minimax Location Problems Revisited
Operations Research | 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
Journal of Symbolic Logic | 1985-01-01 | Paper |
All arithmetical sets of powers of primes are first-order definable in terms of the successor function and the coprimeness predicate
Discrete Mathematics | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3941535 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3926911 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3884151 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 4027424 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3763923 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3784850 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3668570 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3634474 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3741314 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3741315 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3598473 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3628950 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3565288 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3498912 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3465518 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3430954 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3455566 (Why is no real title available?) | 1972-01-01 | Paper |
