Centralizing Monoids and the Arity of Witnesses

2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL) ◽

10.1109/ismvl.2017.34 ◽

2017 ◽

Author(s):

Hajime Machida ◽

Ivo G. Rosenberg

Download Full-text