Journal Articles
Theoretical Computer Science
Year : 2001
Patrick Cegielski : Connect in order to contact the contributor
https://hal.science/hal-00095681
Submitted on : Monday, September 18, 2006-10:28:56 AM
Last modification on : Friday, April 5, 2024-9:24:00 AM
Dates and versions
Identifiers
- HAL Id : hal-00095681 , version 1
Cite
Patrick Cegielski, Denis Richard. Decidability of natural integers equipped with Cantor pairing function and successor. Theoretical Computer Science, 2001, 257, pp.51-77. ⟨hal-00095681⟩
105
View
0
Download