Lower bounds for increasing complexity of derivations after cut elimination
Work
Year: 1982
Type: article
Source: Journal of Soviet Mathematics
Author V. P. Orevkov
Cites: 6
Cited by: 83
Related to: 10
FWCI:
Citation percentile (by year/subfield): 92.55
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: bronze