Article Dans Une Revue
Theoretical Computer Science
Année : 2001
Patrick Cegielski : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00095681
Soumis le : lundi 18 septembre 2006-10:28:56
Dernière modification le : vendredi 5 avril 2024-09:24:00
Dates et versions
Identifiants
- HAL Id : hal-00095681 , version 1
Citer
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⟩
103
Consultations
0
Téléchargements