The following pages link to Classical proof forestry (Q636369):
Displaying 6 items.
- Herbrand's theorem as higher order recursion (Q1987218) (← links)
- GAME SEMANTICS AND THE GEOMETRY OF BACKTRACKING: A NEW COMPLEXITY ANALYSIS OF INTERACTION (Q4977225) (← links)
- On the Herbrand content of LK (Q5015361) (← links)
- (Q5079725) (← links)
- (Q5089024) (← links)
- Expansion trees with cut (Q5236547) (← links)
