Decidability of natural integers equipped with Cantor pairing function and successor - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Theoretical Computer Science Année : 2001

Decidability of natural integers equipped with Cantor pairing function and successor

Denis Richard
  • Fonction : Auteur
Fichier non déposé

Dates et versions

hal-00095681 , version 1 (18-09-2006)

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⟩

Collections

CNRS LACL UPEC
103 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More