Axiomatizing Flat Iteration

What this record says

Flat iteration is a variation on the original binary version of the Kleene star operation P*Q, obtained by restricting the

CATALOG · The abstract is indexed.