20 citations · 96 across the 24 of their papers we have counts for
1 paper · 1 filter
Herman Geuvers, Ugo de'Liguoro
CL&C'12 was the fourth of a conference series on "Classical Logic and Computation", held as satellite to ICALP'12 on Sunday July 8, 2012 in Warwick, England. CL&C intends to cover…