TY - RPRT TI - Fuzzy alternating $\mathrm{B\ddot{u}chi}$ automata over distributive lattices AU - Xiujuan Wei AU - Yongming Li PY - 2016 UR - https://arxiv.org/abs/1603.04541 ID - 1603.04541 ER -