Travelled to:
1 × France
Collaborated with:
A.Goldsztejn
Talks about:
constraint (1) existenti (1) approxim (1) quantif (1) paramet (1) distanc (1) inner (1)
Person: Carlos Grandón
DBLP: Grand=oacute=n:Carlos
Contributed to:
Wrote 1 papers:
- SAC-2006-GrandonG #approximate #constraints #distance #parametricity #quantifier
- Inner approximation of distance constraints with existential quantification of parameters (CG, AG), pp. 1660–1661.