Research Output per year

## 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

### 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 proceeding › Conference contribution

Proof System

Theorem

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 conference › Paper

File