Quantifier Elimination versus Generalized Interval Evaluation: a Comparison on a Specific Class of Quantified Constraint - Archive ouverte HAL
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 : jeudi 16 mai 2024-15:00:04

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
73 Consultations
0 Téléchargements

Partager

More