The Rosser Prize from LFCS 2018 goes to Benjamin Ralph of the University of Bath for the paper “A Natural Proof System for Herbrand’s Theorem.” Congratulations to Benjamin
The Rosser Prize from LFCS 2018 goes to Benjamin Ralph of the University of Bath for the paper “A Natural Proof System for Herbrand’s Theorem.” Congratulations to Benjamin