Salah Labhalla

Publication Activity (10 Years)

Years Active: 1990-2001
Publications (10 Years): 0

Publications

Salah Labhalla, Henri Lombardi, E. Moutai
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. Theor. Comput. Sci. 250 (1-2) (2001)
Bouchaib Bounabat, Rahal Romadi, Salah Labhalla
Designing Multi-Agent Reactive Systems: A Specification Method Based on Reactive Decisional Agents. PRIMA (1999)
Mohamed Khalouani, Salah Labhalla, Henri Lombardi
Étude constructive de problèmes de topologie pour les réels irrationnels. Math. Log. Q. 45 (1999)
Salah Labhalla, Henri Lombardi, Roger Marlin
Algorithmes de calcul de la réduction de Hermite d'une matrice à coefficients polynomiaux. Theor. Comput. Sci. 161 (1&2) (1996)
Salah Labhalla, Henri Lombardi
Analyse de complexité pour un théorème de Hall sur les fractions continues. Math. Log. Q. 42 (1996)
Salah Labhalla
Complexité du Calcul du Développement d'un Nombre Réel en Fractions Continues. Theor. Comput. Sci. 83 (2) (1991)
Salah Labhalla, Henri Lombardi
Représentations des nombres réels par développements en base entière et complexité. Theor. Comput. Sci. 88 (1) (1991)
Salah Labhalla, Henri Lombardi
Real Numbers, Continued Fractions and Complexity Classes. Ann. Pure Appl. Log. 50 (1) (1990)