Weighted automata and weighted logics over tree-like structuresChristian MathissenAusverkauft4,3Bewachen
