Definability and decidability issues in extensions of the integers with the divisibility predicate - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue The Journal of Symbolic Logic Année : 1996

Definability and decidability issues in extensions of the integers with the divisibility predicate

Yuri Matiyasevich
  • Fonction : Auteur
  • PersonId : 835123
Denis Richard
  • Fonction : Auteur
Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-00095673 , version 1

Citer

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⟩

Collections

CNRS LACL UPEC
98 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More