Salah Labhalla

发表

Algorithmes de calcul de la réduction de Hermite d'une matrice à coefficients polynomiaux

Henri Lombardi, Salah Labhalla, Roger Marlin, 1996, Theor. Comput. Sci..

Complexité du Calcul du Développement d'un Nombre Réel en Fractions Continues

Salah Labhalla, 1991, Theor. Comput. Sci..

Constructive study of topological problems for irraditional real numbers

Henri Lombardi, Salah Labhalla, Mohamed Khalouani, 1999 .

Représentations des nombres réels par développements en base entière et complexité

Henri Lombardi, Salah Labhalla, 1991, Theor. Comput. Sci..

Designing Multi-Agent Reactive Systems: A Specification Method Based on Reactive Decisional Agents

Bouchaib Bounabat, Rahal Romadi, Salah Labhalla, 1999, PRIMA.

Étude constructive de problèmes de topologie pour les réels irrationnels

Henri Lombardi, Salah Labhalla, Mohamed Khalouani, 1999, Math. Log. Q..

Espaces métriques rationnellement présentés et complexité, le cas de l'espace des fonctions réelles uniformément continues sur un intervalle compact

Henri Lombardi, Salah Labhalla, E. Moutai, 2001, Theor. Comput. Sci..

Real Numbers, Continued Fractions and Complexity Classes

Henri Lombardi, Salah Labhalla, 1990, Ann. Pure Appl. Log..

Analyse de complexité pour un théorème de Hall sur les fractions continues

Henri Lombardi, Salah Labhalla, 1996, Math. Log. Q..

Representations for real numbers by developing its entire base and complexity

Henri Lombardi, Salah Labhalla, H. Lombardi, 1991 .