Output details
11 - Computer Science and Informatics
University of Bath
Return to search
Output 0 of 0 in the submission
Article title
Classical proof forestry
Type
D - Journal article
Title of journal
Annals of Pure and Applied Logic
Article number
-
Volume number
161
Issue number
11
First page of article
1346
ISSN of journal
0168-0072
Year of publication
2010
Number of additional authors
0
Additional information
<11>The paper was the 2nd most downloaded one in Annals of Pure and Applied Logic over the summer of 2010. Techniques in this paper have been used by Hetzl and Strassburger (CSL 2012) and by McKinley (ACM TOCL 2013) in their work on Herbrand's theorem.
Interdisciplinary
-
Cross-referral requested
-
Research group
A - Mathematical Foundations
Citation count
3
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
