Theory exploration of sets represented as monotone lists

Isabela Dramnesc, Tudor Jebelean. Theory exploration of sets represented as monotone lists. In IEEE 12th International Symposium on Intelligent Systems and Informatics, SISY 2014, Subotica, Serbia, September 11-13, 2014. pages 163-168, IEEE, 2014. [doi]

Abstract

Abstract is missing.