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