7 citations · 11 across the 5 of their papers we have counts for
1 paper · 1 filter
Ulrich Kohlenbach, Steffen van Bakel, Stefano Berardi
The workshop series intends to cover research that investigates the computational aspects of classical logic and mathematics. Its focus is on unwinding the computational content of…