1 paper
Xiujuan Wei, Yongming Li
We give a new version of fuzzy alternating Bu¨chi automata over distributive lattices: weights are putting in every leaf node of run trees rather than along with e…