Follow
Benjamin Ralph
Benjamin Ralph
Lecturer in Computer Science, University of Bath
Verified email at bath.ac.uk - Homepage
Title
Cited by
Cited by
Year
Removing cycles from proofs
AA Tubella, A Guglielmi, B Ralph
26th EACSL Annual Conference on Computer Science Logic 2017, 2017
152017
Towards a combinatorial proof theory
B Ralph, L Straßburger
Automated Reasoning with Analytic Tableaux and Related Methods: 28th …, 2019
122019
Modular Normalisation of Classical Proofs
B Ralph
University of Bath, 2019
62019
A natural proof system for herbrand’s theorem
B Ralph
Logical Foundations of Computer Science: International Symposium, LFCS 2018 …, 2018
52018
Herbrand proofs and expansion proofs as decomposed proofs
B Ralph
Journal of Logic and Computation 30 (8), 1711-1742, 2020
12020
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–8