Benjamin Ralph

Publication Activity (10 Years)

Years Active: 2017-2020
Publications (10 Years): 4

Top Topics

Theorem Proving

Top Venues

J. Log. Comput.

Publications

Benjamin Ralph
Herbrand Proofs and Expansion Proofs as Decomposed Proofs. J. Log. Comput. 30 (8) (2020)
Benjamin Ralph, Lutz Straßburger
Towards a Combinatorial Proof Theory. TABLEAUX (2019)
Benjamin Ralph
A Natural Proof System for Herbrand's Theorem. LFCS (2018)
Andrea Aler Tubella, Alessio Guglielmi, Benjamin Ralph
Removing Cycles from Proofs. CSL (2017)