Automata over MV-algebras [many-valued logic] | IEEE Conference Publication | IEEE Xplore