TY  - RPRT
TI  - Semiring Properties of Heyting Algebras
AU  - Amit Raj
AU  - Shrisha Rao
AU  - Mahesh Rudrachar
PY  - 2016
UR  - https://arxiv.org/abs/0812.3754
ID  - 0812.3754
ER  -