Weighted automata and weighted logics over tree-like structuresChristian MathissenVyprodáno4,3Pohlídat