Benjamin Ralph
Benjamin Ralph
Postdoctoral Researcher, Inria Saclay
Verified email at inria.fr - Homepage
TitleCited byYear
Removing cycles from proofs
A Aler Tubella, A Guglielmi, B Ralph
26th EACSL Annual Conference on Computer Science Logic (CSL 2017), 2017
122017
Modular Normalisation of Classical Proofs
B Ralph
University of Bath, 2019
32019
A natural proof system for Herbrand’s theorem
B Ralph
International Symposium on Logical Foundations of Computer Science, 289-308, 2018
32018
Towards a combinatorial proof theory
B Ralph, L Straßburger
International Conference on Automated Reasoning with Analytic Tableaux and …, 2019
22019
DEEP INFERENCE, HERBRAND’S THEOREM AND EXPANSION PROOFS
B RALPH
2018
Confluent and Natural Cut Elimination in Classical Logic
A Guglielmi, B Ralph
PHD CONFIRMATION REPORT
B RALPH
The system can't perform the operation now. Try again later.
Articles 1–7