activity
20182020
most citedA new simple example of an atomic domain which is not ACCP

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

collaborators
Showing 2018Show all

5 papers · 1 filter