activity
20132024
most citedFinite Satisfiability of the Two-Variable Guarded Fragment with Transitive Guards and Related Variants

5 citations · 12 across the 8 of their papers we have counts for

collaborators
Showing 2013 · math.LOShow all

Nothing from them under that filter.

Their other years and fields are still on the left.