Quantifier Elimination versus Generalized Interval Evaluation: a Comparison on a Specific Class of Quantified Constraint - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2008

Quantifier Elimination versus Generalized Interval Evaluation: a Comparison on a Specific Class of Quantified Constraint

Alexandre Goldsztejn  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00431188

Soumis le : mardi 10 novembre 2009-18:18:07

Dernière modification le : vendredi 5 janvier 2024-03:24:17

Fichier non déposé

Dates et versions

hal-00431188 , version 1 (10-11-2009)

Identifiants

  • HAL Id : hal-00431188 , version 1

Citer

Carlos Grandón, Alexandre Goldsztejn. Quantifier Elimination versus Generalized Interval Evaluation: a Comparison on a Specific Class of Quantified Constraint. Uncertainty and Intelligent Information Systems, World Scientific, pp.501-511, 2008. ⟨hal-00431188⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-NANTES ENPC CNRS INRIA LINA LINA-MEO PARISTECH INRIA2 LS2N NANTES-UNIVERSITE
66 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More