activity
20162023
most citedNondeterminism and an abstract formulation of Nečiporuk's lower bound method

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

collaborators

5 papers