Displaying similar documents to “Canonical differential structures of regular covectors”

A Note on a Theorem of Lion

Zofia Ambroży (2013)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

In this note we bind together Wilkie's complement theorem with Lion's theorem on geometric, regular and 0-regular families of functions.

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