activity
20232025
most citedWeighted HOM-Problem for Nonnegative Integers

1 citations · 1 across the 3 of their papers we have counts for

collaborators
Showing math.LOShow all

1 paper · 1 filter

math.LO2024

Logical Characterizations of Weighted Complexity Classes

Guillermo Badia, Manfred Droste, Carles Noguera +1

Fagin's seminal result characterizing in terms of existential second-order logic started the fruitful field of descriptive complexity theory. In recent years, there h…