@Inproceedings{EPTCS386.13, author = {Maletti, Andreas and Nuernbergk, Nils Oskar}, year = {2023}, title = {Pumping Lemmata for Recognizable Weighted Languages over Artinian Semirings}, editor = {Gazdag, Zsolt and Iv\'an, Szabolcs and Kov\'asznai, Gergely}, booktitle = {{\rm Proceedings of the 16th International Conference on} Automata and Formal Languages, {\rm Eger, Hungary, September 5-7, 2023}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {386}, publisher = {Open Publishing Association}, pages = {155-169}, doi = {10.4204/EPTCS.386.13}, }