Alain Hui-Bon-Hoa

Learn More
We present the work undertaken by the Evolution and Seismic Tools Activity (ESTA) team of the CoRoT Seis-mology Working Group. We have focused on two main tasks: Task 1 – now finished – has aimed at testing, comparing and optimising seven stellar evolution codes which will be used to model the internal structure and evolution of the CoRoT target stars. Task(More)
We complete our study (Hui-Bon-Hoa et al. 1997) of the abundances of Mg, Ca, Sc, Cr, Fe, and Ni in α Per cluster stars using new spectra of two stars of the previous sample and also adding two more objects. The new spectra of BD +48 • 894 and HD 21527 show that the former has an almost solar composition whereas the latter is an Am star with the iron peak(More)
Some recent works rely on the intuitionistic theory of Hereditary Harrop formulas to provide extensions for Horn clauses while preserving the logic paradigm. In particular, an intuitionistic implication is used to provide some form of scoping. However the lack of appropriate evaluation strategies, notably a strategy relying on a forward-chaining search, has(More)
  • 1