Towards a Formal Proof System for omega-Rational Expressions

Construction, du point de vue de la theorie de Salonaa des expressions reconnaissables finitaires, d'un systeme formel pour prouver l'egalite (et l'etat vide de l'intersection) pour les expressions reconnaissables infinitaires