Article Dans Une Revue Lecture Notes in Computer Science Année : 1984

Complexity of quantifier elimination in the theory of algebraically closed fields

Alexander Chistov
  • Fonction : Auteur
  • PersonId : 864975
Fichier principal
Vignette du fichier
grigoriev10_201205.pdf (2.92 Mo) Télécharger le fichier

Dates et versions

hal-03053144 , version 1 (10-12-2020)

Licence

Identifiants

  • HAL Id : hal-03053144 , version 1

Citer

Alexander Chistov, Dima Grigoriev. Complexity of quantifier elimination in the theory of algebraically closed fields. Lecture Notes in Computer Science, 1984. ⟨hal-03053144⟩

Collections

30 Consultations
367 Téléchargements

Partager

  • More