Search the dblp DataBase

Publications of Author

1. Bouchaib Bounabat, Rahal Romadi, Salah Labhalla
   Designing Multi-Agent Reactive Systems: A Specification Method Based on Reactive Decisional Agents. [Citation Graph (0, 0)][DBLP]
   PRIMA, 1999, pp:197-210 [Conf]
   
2. Salah Labhalla, Henri Lombardi
   Real Numbers, Continued Fractions and Complexity Classes. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1990, v:50, n:1, pp:1-28 [Journal]
   
3. Mohamed Khalouani, Salah Labhalla, Henri Lombardi
   Étude constructive de problèmes de topologie pour les réels irrationnels. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 1999, v:45, n:, pp:257-288 [Journal]
   
4. Salah Labhalla, Henri Lombardi
   Analyse de complexité pour un théorème de Hall sur les fractions continues. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 1996, v:42, n:, pp:134-144 [Journal]
   
5. Salah Labhalla
   Complexité du Calcul du Développement d'un Nombre Réel en Fractions Continues. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1991, v:83, n:2, pp:219-235 [Journal]
   
6. Salah Labhalla, Henri Lombardi
   Représentations des nombres réels par développements en base entière et complexité. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1991, v:88, n:1, pp:171-182 [Journal]
   
7. 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. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2001, v:250, n:1-2, pp:265-332 [Journal]
   
8. Salah Labhalla, Henri Lombardi, Roger Marlin
   Algorithmes de calcul de la réduction de Hermite d'une matrice à coefficients polynomiaux. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1996, v:161, n:1&2, pp:69-92 [Journal]