<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "A finite axiomatization of nondeterministic regular expressions"^^ . "An alternative (tree-based) semantics for a class of regular expressions is proposed that assigns a central rôle to the + operator and thus to nondeterminism and nondeterministic choice. For the new semantics a consistent and complete axiomatization is obtained from the original axiomatization of regular expressions by Salomaa and by Kozen by dropping the idempotence law for + and the distribution law of • over +. "^^ . "1999" . "33" . "4/5" . . "Cambridge University Press"^^ . . . "RAIRO - Theoretical Informatics and Applications"^^ . . . . . . . . . . . . . . "Rocco"^^ . "De Nicola"^^ . "Rocco De Nicola"^^ . . "Anna"^^ . "Labella"^^ . "Anna Labella"^^ . . "Flavio"^^ . "Corradini"^^ . "Flavio Corradini"^^ . . . . . "HTML Summary of #344 \n\nA finite axiomatization of nondeterministic regular expressions\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .