I NFORMATIQUE THÉORIQUE ET APPLICATIONS
F LAVIO C ORRADINI
ROCCO D E N ICOLA
A NNA L ABELLA
A finite axiomatization of nondeterministic
regular expressions
Informatique théorique et applications, tome 33, n
o
4-5 (1999),
p. 447-465
<http://www.numdam.org/item?id=ITA_1999__33_4-5_447_0>
© AFCET, 1999, tous droits réservés.
L’accès aux archives de la revue « Informatique théorique et applications » im-
plique l’accord avec les conditions générales d’utilisation (http://www.numdam.
org/conditions). Toute utilisation commerciale ou impression systématique est
constitutive d’une infraction pénale. Toute copie ou impression de ce fichier
doit contenir la présente mention de copyright.
Article numérisé dans le cadre du programme
Numérisation de documents anciens mathématiques
http://www.numdam.org/