( en | de | ru )

 

Disambiguation of "Richard, Denis"

Author of the publication

copydeleteadd this publication to your clipboard
On Arithmetical First-Order Theories Allowing Encoding and Decoding of Lists.

, and . Theor. Comput. Sci., 222 (1-2): 55-75 (1999)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jaap Denissen

Wladimir Denisow

Natalja Denisjuk

Alexander Arnold Denisiuk

Marina Denisova

 

Other publications of authors with the same name

The Minisum and Minimax Location Problems Revisited., , , and . Operations Research, 33 (6): 1251-1265 (1985)Definability and Decidability Issues in Extensions of the Integers with the Divisibility Predicate., , and . J. Symb. Log., 61 (2): 515-540 (1996)Decidability of the theory of the natural integers with the cantor pairing function and the successor., and . Theor. Comput. Sci., 257 (1-2): 51-77 (2001)On the amplitude of intervals of natural numbers whose every element has a common prime divisor with at least an extremity., , and . Theor. Comput. Sci., 303 (1): 53-62 (2003)C-ITS Use Cases: Study, Extension and Classification Methodology., , , , and . VTC Spring, page 1-5. IEEE, (2018)Spontaneous neural activity changes after bariatric surgery: A resting-state fMRI study., , , , , , , , , and 3 other author(s). NeuroImage, (2021)Preface., and . Discret. Math., (1985)What are weak arithmetics?. Theor. Comput. Sci., 257 (1-2): 17-29 (2001)Preface - Logic Colloquium '94, 21-30 July 1994, Clermont-Ferrand, France., , , , and . Ann. Pure Appl. Log., 89 (1): 1 (1997)Definability in Terms of the Successor Function and the Coprimeness Predicate in the Set of Arbitrary Integers.. J. Symb. Log., 54 (4): 1253-1287 (1989)