Equivalence in automata theory based on complete residuated lattice-valued logic

Hongyan Xing, Daowen Qiu, Fuchun Liu, Zhujun Fan. Equivalence in automata theory based on complete residuated lattice-valued logic. Fuzzy Sets and Systems, 158(13):1407-1422, 2007. [doi]

Abstract

Abstract is missing.