Author of the publication

Back and Forth between Continuous and Discrete for the Working Computer Scientist.

, and . Ann. Math. Artif. Intell., (1996)

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.

 

Other publications of authors with the same name

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)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)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)What are weak arithmetics?. Theor. Comput. Sci., 257 (1-2): 17-29 (2001)Preface., and . Discret. Math., (1985)Undecidable Extensions of Skolem Arithmetic., and . J. Symb. Log., 63 (2): 379-401 (1998)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)