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

First-order logic
Mathematics

Proof theory
Mathematics

Propositional logic
Mathematics

Theorem
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*Symposium on Logical Foundations in Computer Science 2018.*Artemov, S. & Nerode, A. (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

First-order logic

Proof theory

Propositional logic

Theorem

### Removing Cycles from Proofs

Aler Tubella, A., Guglielmi, A. & Ralph, B. 20 Aug 2017Research output: Contribution to conference › Paper

File