Alternating weighted automata over commutative semirings

From MaRDI portal
Publication:1637338