A finite axiomatization of nondeterministic regular expressions / DE NICOLA, R; F., Corradini; A., Labella. - In: RAIRO. INFORMATIQUE THEORIQUE ET APPLICATIONS. - ISSN 0988-3754. - 33:(1999), pp. 447-466.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

