Folgen
Benjamin Ralph
Benjamin Ralph
Lecturer in Computer Science, University of Bath
Bestätigte E-Mail-Adresse bei bath.ac.uk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–8