Cut elimination for impredicative infinitary systems. Part II ordinal analysis for iterated inductive definitions
Work
Year: 1980
Type: article
Author Wolfram Pohlers
Institution Ludwig-Maximilians-Universität München
Cites:
Cited by: 11
Related to: 10
FWCI:
Citation percentile (by year/subfield): 81.09
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Gender equality
Open Access status: closed