If you made any changes in Pure these will be visible here soon.

Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 1 Similar Profiles
Proof System Mathematics
Theorem Mathematics
First-order Logic Mathematics
Proof Theory Mathematics
Propositional Logic Mathematics
Completeness Mathematics
Computer Science Mathematics
Angle Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2017 2018

  • 1 Conference contribution
  • 1 Paper

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 in Book/Report/Conference proceedingConference contribution

Proof System
First-order Logic
Proof Theory
Propositional Logic

Removing Cycles from Proofs

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

Research output: Contribution to conferencePaper