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.

A finite axiomatization of nondeterministic regular expressions

DE NICOLA, ROCCO;
1999

1999
33
447
466
R. DE NICOLA; F. CORRADINI; A. LABELLA
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.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/2436
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact