Authors: Corradini, F De Nicola, R Labella, A

Citation: F. Corradini et al., A finite axiomatization of nondeterministic regular expressions, RAIRO-INF, 33(4-5), 1999, pp. 447-465

Authors: Corradini, F De Nicola, R Labella, A

Citation: F. Corradini et al., Models of nondeterministic regular expressions, J COMPUT SY, 59(3), 1999, pp. 412-449