Removing cycles from proofs AA Tubella, A Guglielmi, B Ralph 26th EACSL Annual Conference on Computer Science Logic 2017, 2017 | 14 | 2017 |
Towards a combinatorial proof theory B Ralph, L Straßburger Automated Reasoning with Analytic Tableaux and Related Methods: 28th …, 2019 | 12 | 2019 |
Modular Normalisation of Classical Proofs B Ralph University of Bath, 2019 | 8 | 2019 |
A natural proof system for herbrand’s theorem B Ralph Logical Foundations of Computer Science: International Symposium, LFCS 2018 …, 2018 | 5 | 2018 |
Herbrand proofs and expansion proofs as decomposed proofs B Ralph Journal of Logic and Computation 30 (8), 1711-1742, 2020 | 2 | 2020 |
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 | | |