No photo of Ben Ralph

View Scopus Profile

Ben Ralph

Dr

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

  • 1 WEST 3.55

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
  • 1 Chapter in a published conference proceeding
  • 1 Paper
  • 1 Article

  • 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 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 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
    6 Citations (SciVal)
    75 Downloads (Pure)