The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

Displaying similar documents to “On regular tangent covectors, regular differential forms, and smooth vector fields on a differential space”

A Finite Axiomatization of Nondeterministic Regular Expressions

Flavio Corradini, Rocco De Nicola, Anna Labella (2010)

RAIRO - Theoretical Informatics and Applications

Similarity:

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 +.

Protecting regular polygons.

Kemnitz, Arnfried, Szabó, László, Ujváry-Menyhárt, Zoltán (2000)

Beiträge zur Algebra und Geometrie

Similarity: