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