article · Cronfa (Swansea University) · 2008

On the Computational Complexity of Cut-Reduction

Beckmann, Arnold

Cited by 0Abstract and details only

Abstract

The index has no abstract for this paper.

Cite this paper

APA 7

Beckmann, A. (2008). On the Computational Complexity of Cut-Reduction. Cronfa (Swansea University).

MLA 9

Beckmann, Arnold. “On the Computational Complexity of Cut-Reduction.” Cronfa (Swansea University), 2008.

Chicago

Beckmann, Arnold. 2008. “On the Computational Complexity of Cut-Reduction.” Cronfa (Swansea University).

Harvard

Beckmann, A. (2008) ‘On the Computational Complexity of Cut-Reduction’, Cronfa (Swansea University).

BibTeX

@article{beckmann2008computational,
  title = {{On the Computational Complexity of Cut-Reduction}},
  author = {Beckmann, Arnold},
  journal = {Cronfa (Swansea University)},
  year = {2008}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.