EasyChair Smart Slide
Pumping lemmas for weighted automata
Pumping lemmas for weighted automata