Fundamental Properties on Axioms of Kleene Algebra.

Tomoko Ninomiya, Masao Mukaidono

Browse the full ISMIS paper archive.