Page 1

Displaying 1 – 2 of 2

Showing per page

On Distributive Fixed-Point Expressions

Helmut Seidl, Damian Niwiński (2010)

RAIRO - Theoretical Informatics and Applications

For every fixed-point expression e of alternation-depth r, we construct a new fixed-point expression e' of alternation-depth 2 and size 𝒪 ( r · | e | ) . Expression e' is equivalent to e whenever operators are distributive and the underlying complete lattice has a co-continuous least upper bound. We alternation-depth but also w.r.t. the increase in size of the resulting expression.

Currently displaying 1 – 2 of 2

Page 1