Michiro Kondo. Characterization Theorem of Lattice Implication Algebra. In 34th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2004), 19-22 May 2004, Toronto, Canada. pages 257-260, IEEE Computer Society, 2004. [doi]
@inproceedings{Kondo04,
title = {Characterization Theorem of Lattice Implication Algebra},
author = {Michiro Kondo},
year = {2004},
url = {http://csdl.computer.org/comp/proceedings/ismvl/2004/2130/00/21300257abs.htm},
tags = { algebra},
researchr = {https://researchr.org/publication/Kondo04},
cites = {0},
citedby = {0},
pages = {257-260},
booktitle = {34th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2004), 19-22 May 2004, Toronto, Canada},
publisher = {IEEE Computer Society},
isbn = {0-7695-2130-4},
}