dblp.uni-trier.dewww.uni-trier.de

Salah Labhalla Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2001
8EESalah 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
7EEBouchaib 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)
4EESalah 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)

Coauthor Index

1Bouchaib Bounabat [7]
2Mohamed Khalouani [6]
3Henri Lombardi [1] [2] [4] [5] [6] [8]
4Roger Marlin [4]
5E. Moutai [8]
6Rahal Romadi [7]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)