16 citations · 48 across the 14 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2020★ 4 cited
Pumping lemmas for weighted automata
Agnishom Chattopadhyay, Filip Mazowiecki, Anca Muscholl +1
We present pumping lemmas for five classes of functions definable by fragments of weighted automata over the min-plus semiring, the max-plus semiring and the semiring of natural nu…
cs.LO2018★ 6 cited
Descriptive Complexity for Counting Complexity Classes
Marcelo Arenas, Martin Muñoz, Cristian Riveros
Descriptive Complexity has been very successful in characterizing complexity classes of decision problems in terms of the properties definable in some logics. However, descriptive…