27 citations · 77 across the 18 of their papers we have counts for
1 paper · 2 filters
Vivek Nigam, Giselle Reis, Leonardo Lima
This paper tackles the problem of formulating and proving the completeness of focused-like proof systems in an automated fashion. Focusing is a discipline on proofs which structure…