activity
20042024
most citedComplexity of the Two-Variable Fragment with (Binary-Coded) Counting Quantifiers

184 citations · 617 across the 22 of their papers we have counts for

collaborators
Showing 2016 · cs.CLShow all

Nothing from them under that filter.

Their other years and fields are still on the left.