A finitary axiomatization of the algebra of regular events involving only equations and equational implications that is sound for all interpretations over Kleene algebras is given.Expand

We define a propositional version of the Âµ-calculus, and give an exponential-time decision procedure, small model property, and complete deductive system. We also show that it is strictly moreâ€¦ Expand

We define a propositional version of the Îœ-calculus, and give an exponential-time decision procedure, small model property, and complete deductive system.Expand

A new and distinct cultivar of petunia plant named Cas 57, characterized by the combined feature of pink-violet flowers with white bordered edges and white throat with dark violet veins, vigorous growth habit, long overhanging plant habit, and light green foliage.Expand