You can create a release to package software, along with release notes and links to binary files, for other people to use. Learn more about releases in our docs.

Abstract: The uniqueness of LIA-implication on some Kleene algebra is investigated and a method for constructing new lattice implication algebra on Kleene algebra is given. By this method we construct ...