Skip to main navigation Skip to search Skip to main content
No photo of Ben Ralph

View Scopus Profile

Ben Ralph

Dr

 https://orcid.org/0000-0002-5075-9360

  • 1 WEST 3.63

Fingerprint

Dive into the research topics where Ben Ralph is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further
  • 2 Chapter in a published conference proceeding
  • 2 Paper
  • 1 Article

  • A Strictly Linear Subatomic Proof System

    Barrett, V., Guglielmi, A. & Ralph, B., 3 Feb 2025, 33rd EACSL Annual Conference on Computer Science Logic, CSL 2025. Endrullis, J. & Schmitz, S. (eds.). Dagstuhl, Germany: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 39. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 326).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

    Open Access

  • Proof Compression via Subatomic Logic and Guarded Substitutions

    Barrett, V., Guglielmi, A., Ralph, B. & Strassburger, L., 9 Oct 2025, (E-pub ahead of print).

    Research output: Contribution to conference › Paper › peer-review

  • Herbrand Proofs and Expansion Proofs as Decomposed Proofs

    Ralph, B., 31 Dec 2020, In: Journal of Logic and Computation. 30, 8, p. 1711–1742 32 p., exaa052.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    1   Link opens in a new tab Citation (SciVal)

  • A Natural Proof System for Herbrand's Theorem

    Ralph, B., 2018, Logical Foundations of Computer Science - International Symposium, LFCS 2018, Proceedings. Nerode, A. & Artemov, S. (eds.). Springer, p. 289-308 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10703).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

    2   Link opens in a new tab Citations (SciVal)

  • Removing Cycles from Proofs

    Aler Tubella, A., Guglielmi, A. & Ralph, B., 20 Aug 2017.

    Research output: Contribution to conference › Paper › peer-review

    File
    7   Link opens in a new tab Citations (SciVal)
    131 Downloads (Pure)