Journal Articles
The Journal of Symbolic Logic
Year : 1996
Patrick Cegielski : Connect in order to contact the contributor
https://hal.science/hal-00095673
Submitted on : Monday, September 18, 2006-10:21:23 AM
Last modification on : Friday, March 24, 2023-2:52:48 PM
Dates and versions
Identifiers
- HAL Id : hal-00095673 , version 1
Cite
Patrick Cegielski, Yuri Matiyasevich, Denis Richard. Definability and decidability issues in extensions of the integers with the divisibility predicate. The Journal of Symbolic Logic, 1996, 61, pp.515-540. ⟨hal-00095673⟩
95
View
0
Download