Semirigid Systems of Equivalence Relations

Christian Delhommé, Masahiro Miyakawa, Maurice Pouzet, Ivo G. Rosenberg, Hisayuki Tatsumi. Semirigid Systems of Equivalence Relations. In D. Michael Miller, Vincent C. Gaudet, editors, 42nd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2012, Victoria, BC, Canada, May 14-16, 2012. pages 293-298, IEEE, 2012. [doi]

Abstract

Abstract is missing.