Skip to main navigation
Skip to search
Skip to main content
the University of Bath's research portal Home
Help & FAQ
Home
Profiles
Research output
Projects
Datasets
Student theses
Equipment
Research units
Search by expertise, name or affiliation
Classical proof forestry
Willem Heijltjes
Department of Computer Science
Mathematical Foundations of Computation
Research output
:
Contribution to journal
›
Article
›
peer-review
16
Citations (SciVal)
157
Downloads (Pure)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Classical proof forestry'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Mathematics
Forestry
100%
Cut-elimination
27%
Game
17%
Backtracking
14%
Sequent Calculus
13%
Classical Logic
12%
First-order Logic
12%
Quantifiers
11%
Style
11%
Normalization
11%
Graphics
9%
Form
9%
Theorem
8%
Trace
8%
Higher Order
7%
Interpretation
7%
First-order
7%
Term
5%