RAIRO - Theoretical Informatics and Applications (RAIRO: ITA)

A Finite Axiomatization of Nondeterministic Regular Expressions

Flavio Corradini, Rocco De Nicola and Anna Labella

RAIRO-Theor. Inf. Appl., 33 4-5 (1999) 447-465

Published online: 15 August 2002

DOI: 10.1051/ita:1999127

Flavio Corradini

Rocco De Nicola

Anna Labella

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)